Def CategoryTheory.Functor.Initial.isLimitWhiskerEquiv

Modification history