Def CategoryTheory.Limits.IsInitial.ofUnique

Modification history