Theorem GradedMonoid.mk_zero_smul

Modification history