Theorem GradedMonoid.GMonoid.gnpowRec_succ

Modification history