Def CategoryTheory.Functor.Initial.isLimitExtendConeEquiv

Modification history