Theorem Order.Ideal.IsCoatom.isMaximal

Modification history