Theorem Finset.map_val

Modification history