Theorem Order.Ideal.isProper_of_ne_top

Modification history