Def CategoryTheory.IsSubterminal

Modification history