Theorem Submonoid.inv_le_inv

Modification history