Theorem CategoryTheory.isSubterminal_of_isIso_diag

Modification history