Theorem CategoryTheory.isSubterminal_of_isTerminal

Modification history