Mathlib Changelog
v4
Changelog
About
Github
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.mapForallTelescope'
View on Github →
2022-11-30 16:38
Mathlib/Lean/Meta.lean
feat: meta code for the category_theory port (#755)
Added
Lean.Meta.mapForallTelescope'
View on Github →