Theorem GradedMonoid.GMonoid.gnpowRec_zero

Modification history