Def CategoryTheory.Limits.IsTerminal.ofStrict

Modification history