Theorem Finset.union_inter_distrib_right

Modification history