Theorem Submonoid.exponent_top

Modification history