Theorem Submonoid.units_mono

Modification history