Def category_theory.with_initial.lift

Modification history