Theorem CategoryTheory.Limits.hasTerminal_of_hasInitial_op

Modification history