Theorem Submonoid.mem_inv

Modification history