Def category_theory.pow_zero

Modification history