Theorem Finset.union_inter_distrib_left

Modification history