Theorem Finset.inter_left_comm

Modification history