Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-08-10 02:36
69906dca
View on Github →
chore: isBlacklisted returns CoreM, not MetaM (
#6479
)
Estimated changes
Modified
Mathlib/Lean/Expr/Basic.lean
modified
def
Lean.Name.isBlackListed