Theorem Finset.filter_inj'

Modification history