Theorem IsSubmonoid.preimage

Modification history