Theorem IsCoatom.sup_eq_top_of_ne

Modification history