Def Lean.TSyntax.replaceM

Modification history

2024-01-30 01:07
Mathlib/Util/Syntax.lean
chore: bump Std to leanprover/std4#242 (#10104)
Deleted Lean.TSyntax.replaceMView on Github →
2022-07-01 07:50
Mathlib/Util/Syntax.lean
chore: bump to nightly-2022-06-30 (#295)
Added Lean.TSyntax.replaceMView on Github →