Theorem CategoryTheory.IsSubterminal.isIso_diag

Modification history