Theorem Finset.map_consEquiv_filter_piFinset

Modification history