Def CategoryTheory.WithInitial.prelaxfunctor

Modification history