Def CategoryTheory.Limits.initialUnopOfTerminal

Modification history