Theorem CompleteLattice.Iic_coatomic_of_compact_element

Modification history