Def CategoryTheory.Limits.terminalIsTerminal

Modification history