Theorem Finset.map_insertNthEquiv_filter_piFinset

Modification history