Def CategoryTheory.Limits.IsInitial.uniqueUpToIso

Modification history