Theorem Finset.mem_Iio

Modification history