Def CategoryTheory.Limits.IsInitial.ofUniqueHom

Modification history