Theorem Submonoid.mem_powers_iff

Modification history