Theorem IsSubmonoid.power_subset

Modification history