Theorem Order.Ideal.IsProper.not_mem_or_compl_not_mem

Modification history