Theorem CategoryTheory.isSubterminal_of_terminal

Modification history