Theorem Finset.mem_Ioi

Modification history