Def Lean.Meta.mapForallTelescope

Modification history

2024-01-17 01:03
Mathlib/Lean/Meta.lean
chore: bump Std to leanprover/std4#421 (#9798) …
Deleted Lean.Meta.mapForallTelescopeView on Github →
2022-11-30 16:38
Mathlib/Lean/Meta.lean
feat: meta code for the category_theory port (#755)
Added Lean.Meta.mapForallTelescopeView on Github →