Theorem Prod.map_apply

Modification history

2024-07-01 02:54

Mathlib/Data/Prod/Basic.lean

chore: move toolchain to v4.10.0-rc1 and merge bump/v4.10.0 (#14311)

Deleted Prod.map_apply View on Github →

2024-06-08 09:11

Mathlib/Data/Prod/Basic.lean

chore: Rename `Prod_map` (#12753) …

Added Prod.map_apply View on Github →