Def category_theory.mk_initial_of_left_adjoint

Modification history