Def CategoryTheory.Functor.Initial.limitIso'

Modification history