Def category_theory.with_initial.lift_to_initial_unique

Modification history