Map2

📁 Source: Mathlib/Data/List/Map2.lean

Statistics

Metric	Count
Definitions	0
Theorems map₂Left'_nil_right, map₂Left_eq_map₂Left', map₂Left_eq_zipWith, map₂Left_nil_right, map₂Right'_cons_cons, map₂Right'_nil_cons, map₂Right'_nil_left, map₂Right'_nil_right, map₂Right_cons_cons, map₂Right_eq_map₂Right', map₂Right_eq_zipWith, map₂Right_nil_cons, map₂Right_nil_left, map₂Right_nil_right, nil_zipWith, zipLeft'_cons_cons, zipLeft'_cons_nil, zipLeft'_nil_left, zipLeft'_nil_right, zipLeft_cons_cons, zipLeft_cons_nil, zipLeft_eq_zipLeft', zipLeft_nil_left, zipLeft_nil_right, zipRight'_cons_cons, zipRight'_nil_cons, zipRight'_nil_left, zipRight'_nil_right, zipRight_cons_cons, zipRight_eq_zipRight', zipRight_nil_cons, zipRight_nil_left, zipRight_nil_right, zipWith_flip, zipWith_nil	35
Total	35

List

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
map₂Left'_nil_right 📖	mathematical	—	map₂Left'	—	—
map₂Left_eq_map₂Left' 📖	mathematical	—	map₂Left map₂Left'	—	—
map₂Left_eq_zipWith 📖	mathematical	—	map₂Left	—	—
map₂Left_nil_right 📖	mathematical	—	map₂Left	—	—
map₂Right'_cons_cons 📖	mathematical	—	map₂Right'	—	—
map₂Right'_nil_cons 📖	mathematical	—	map₂Right'	—	—
map₂Right'_nil_left 📖	mathematical	—	map₂Right'	—	—
map₂Right'_nil_right 📖	mathematical	—	map₂Right'	—	—
map₂Right_cons_cons 📖	mathematical	—	map₂Right	—	—
map₂Right_eq_map₂Right' 📖	mathematical	—	map₂Right map₂Right'	—	map₂Left_eq_map₂Left'
map₂Right_eq_zipWith 📖	mathematical	—	map₂Right	—	map₂Left_eq_zipWith zipWith_flip
map₂Right_nil_cons 📖	mathematical	—	map₂Right	—	—
map₂Right_nil_left 📖	mathematical	—	map₂Right	—	—
map₂Right_nil_right 📖	mathematical	—	map₂Right	—	—
nil_zipWith 📖	—	—	—	—	—
zipLeft'_cons_cons 📖	—	—	—	—	—
zipLeft'_cons_nil 📖	—	—	—	—	—
zipLeft'_nil_left 📖	—	—	—	—	—
zipLeft'_nil_right 📖	—	—	—	—	—
zipLeft_cons_cons 📖	—	—	—	—	—
zipLeft_cons_nil 📖	—	—	—	—	—
zipLeft_eq_zipLeft' 📖	—	—	—	—	zipLeft.eq_1 zipLeft'.eq_1
zipLeft_nil_left 📖	—	—	—	—	—
zipLeft_nil_right 📖	—	—	—	—	—
zipRight'_cons_cons 📖	—	—	—	—	—
zipRight'_nil_cons 📖	—	—	—	—	—
zipRight'_nil_left 📖	—	—	—	—	—
zipRight'_nil_right 📖	—	—	—	—	—
zipRight_cons_cons 📖	—	—	—	—	—
zipRight_eq_zipRight' 📖	—	—	—	—	zipRight_nil_left zipRight'_nil_left
zipRight_nil_cons 📖	—	—	—	—	—
zipRight_nil_left 📖	—	—	—	—	—
zipRight_nil_right 📖	—	—	—	—	—
zipWith_flip 📖	—	—	—	—	—
zipWith_nil 📖	—	—	—	—	—

---

← Back to Index