Theorem Finset.inter_inter_inter_comm

Modification history