Theorem Set.isSimpleOrder_Iic_iff_isAtom

Modification history