Theorem Finset.map_op_inv

Modification history