Theorem GradedMonoid.mk_smul_mk

Modification history