Theorem Finset.map_op_one

Modification history