Commit 2022-02-06 13:45 96cd61a6

View on Github →

chore: bump to nightly-2022-02-06 (#181)

Estimated changes

Modified Mathlib/Data/ByteArray.lean

Modified Mathlib/Data/List/Defs.lean

Modified Mathlib/Data/Option/Defs.lean

Modified Mathlib/Init/Data/List/Basic.lean

Modified Mathlib/Init/ExtendedBinder.lean

Modified Mathlib/Lean/LocalContext.lean

Modified Mathlib/Mathport/Syntax.lean

Modified Mathlib/Tactic/Basic.lean

Modified Mathlib/Tactic/Cache.lean

Modified Mathlib/Tactic/Ext.lean

Modified Mathlib/Tactic/Find.lean

Modified Mathlib/Tactic/IrreducibleDef.lean

Modified Mathlib/Tactic/LibrarySearch.lean

Modified Mathlib/Tactic/Lint/Basic.lean

Modified Mathlib/Tactic/Lint/Frontend.lean

Modified Mathlib/Tactic/Lint/Simp.lean

Modified Mathlib/Tactic/NormNum.lean

Modified Mathlib/Tactic/OpenPrivate.lean

Modified Mathlib/Tactic/PrintPrefix.lean

Modified Mathlib/Tactic/Ring.lean

modified def Tactic.Ring.HornerExpr.reflConv

Modified Mathlib/Tactic/Simps.lean

Modified Mathlib/Tactic/SudoSetOption.lean

Modified Mathlib/Tactic/TryThis.lean

Modified Mathlib/Util/Export.lean

Modified Mathlib/Util/TermUnsafe.lean

Modified Mathlib/Util/WhatsNew.lean

Modified lean-toolchain