Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prod.map_id

Modification history

2023-07-14 16:30
src/data/prod/basic.lean
feat(group_theory/order_of_element): Order in `α × β` (#18719) …
Modified prod.map_idView on Github →
2022-06-10 14:50
src/data/prod/basic.lean
feat(topology/uniform_space/equiv): define uniform isomorphisms (#14537) …
Added prod.map_idView on Github →