Theorem IsSubmonoid.powers_subset

Modification history