Theorem CategoryTheory.Equivalence.hasTerminal_iff

Modification history