Theorem Ideal.IsMaximal.of_isMaximal_liesOver

Modification history