Def Mathlib.Util.MapsTo.delabLam

Modification history

2023-01-04 18:50
Mathlib/Util/MapsTo.lean
chore: bump to 2023-01-04 (#1335)
Deleted Mathlib.Util.MapsTo.delabLamView on Github →
2022-11-22 07:59
Mathlib/Util/MapsTo.lean
feat: add `fun x ↦ t` syntax (#617)
Added Mathlib.Util.MapsTo.delabLamView on Github →