Def CategoryTheory.Limits.limitConstTerminal

Modification history