Theorem Finset.inter_mul_singleton

Modification history