Theorem Finset.inter_union_distrib_left

Modification history