Theorem Order.Ideal.IsProper.top_not_mem

Modification history