Theorem Order.Ideal.IsCoatom.isProper

Modification history