Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-05 14:04 abd6ab59

View on Github →

refactor(data/prod): add map_fst, map_snd

Estimated changes

Modified data/prod.lean

added theorem prod.map_fst

added theorem prod.map_snd