Theorem Submonoid.powers_eq_closure

Modification history