Theorem Finset.mem_inter

Modification history