Def CategoryTheory.Functor.Initial.limitIso

Modification history