Theorem Submonoid.pow_apply

Modification history