Def GradedMonoid.GMonoid.gnpowRec

Modification history