Theorem Ideal.IsMaximal.of_liesOver_isMaximal

Modification history