Theorem Finset.inter_mul_subset

Modification history