Def CategoryTheory.Limits.IsInitial.equivOfIso

Modification history