Theorem Order.Ideal.isMaximal_iff_isCoatom

Modification history