Theorem Finset.mem_Ioo

Modification history