Def category_theory.with_initial.lift_to_initial

Modification history