Def CategoryTheory.IsSubterminal.isoDiag

Modification history