Commit 2021-12-13 09:29 b9d13f47

View on Github →

chore: bump to Lean 4 nightly 2021-12-13 (#130)

Estimated changes

Modified Mathlib/Data/ByteArray.lean

modified def ByteSlice.toString

Modified Mathlib/Data/List/Defs.lean

Modified Mathlib/Lean/Expr.lean

modified def Lean.Name.mapPrefix

Modified Mathlib/Mathport/Rename.lean

modified def Mathlib.Prelude.Rename.getRenameMap

Modified Mathlib/Tactic/Lint/Frontend.lean

modified def Lean.TagAttribute.getDecls

Modified Mathlib/Tactic/Lint/Simp.lean

deleted def Option.mapM

Modified Mathlib/Tactic/OpenPrivate.lean

Modified lean-toolchain