Theorem Ideal.IsMaximal.ne_top

Modification history