Theorem isLowerSet_iff_Iio_subset

Modification history