Theorem Finset.filter_comm

Modification history