Theorem Finset.inter_singleton

Modification history