Theorem Finset.mem_Ioc

Modification history