User:Leigh.Samphier/Templates/Test/CategoryEquivalenceProofs

From ProofWiki
Jump to navigation Jump to search

TFAE - Category Equivalence Proofs

{{:User:Leigh.Samphier/Templates/TFAE|view = xxyyz}} produces

The following statements are equivalent: