Theorem Finset.inter_inter_distrib_right

Modification history