Def CategoryTheory.Limits.initialOpOfTerminal

Modification history