Def category_theory.with_terminal.lift_star

Modification history