Theorem Finset.filter_congr

Modification history