Theorem Finset.map_insert

Modification history