Theorem Finset.inter_singleton_of_mem

Modification history