Theorem Order.Ideal.IsMaximal.is_coatom'

Modification history