Theorem Finset.mem_infs

Modification history