Theorem Finset.inter_div_union_subset_union

Modification history