Theorem CategoryTheory.hasTerminal_of_equivalence

Modification history