Theorem Finset.map_snocEquiv_filter_piFinset

Modification history