Theorem Order.Ideal.IsMaximal.isCoatom'

Modification history