Def CategoryTheory.Limits.IsTerminal.uniqueUpToIso

Modification history