Theorem Finset.subset_inter

Modification history