Theorem Finset.inter_subset_ite

Modification history