Mathlib Changelog
v4
Changelog
About
Github
Commit
2022-03-22 05:59
b59f265d
View on Github →
fix:
let
should be using
haveIdLhs
(
#246
)
Estimated changes
Modified
Mathlib/Tactic/Have.lean
deleted
def
Lean.Parser.Term.letIdLhs'