Theorem Prod.map_comp_swap

Modification history

2024-11-04 05:59

Mathlib/Data/Prod/Basic.lean

chore: bump toolchain to v4.14.0-rc1 (#18597) …

Deleted Prod.map_comp_swap View on Github →

2024-06-24 19:38

Mathlib/Data/Prod/Basic.lean

feat(Data/Prod): add `map_comp_swap` (#14096) …

Added Prod.map_comp_swap View on Github →