Def category_theory.op_induction

Modification history