Theorem Ideal.IsMaximal.exists_inv

Modification history