Theorem Order.Ideal.IsProper.not_mem_of_compl_mem

Modification history