Theorem Submonoid.closure_inv

Modification history