Theorem isUpperSet_iff_Ioi_subset

Modification history