Theorem Order.Ideal.IsMaximal.isCoatom

Modification history