Theorem Finset.singleton_inter

Modification history