Theorem Finset.inter_mem_infs

Modification history