Theorem Set.isSimpleOrder_Ici_iff_isCoatom

Modification history