Theorem Submonoid.mul_mem_units

Modification history