Theorem Prod.map_id

Modification history

2024-11-04 05:59

Mathlib/Data/Prod/Basic.lean

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

Deleted Prod.map_id View on Github →

2024-07-06 09:03

Mathlib/Data/Prod/Basic.lean

feat: Sublattice generated by a product set (#13823) …

Modified Prod.map_id View on Github →

2022-11-07 04:25

Mathlib/Data/Prod/Basic.lean

feat: port Data.Prod.Basic (#545) …

Added Prod.map_id View on Github →