Commit 2022-07-04 09:26 90cd45da

View on Github →

chore: bump to nightly-2022-07-04 (#298)

Estimated changes

Modified Mathlib/Data/Array/Basic.lean

Modified Mathlib/Init/ExtendedBinder.lean

Modified Mathlib/Tactic/Cases.lean

Modified Mathlib/Tactic/IrreducibleDef.lean

Modified Mathlib/Tactic/Lint/Frontend.lean

Modified Mathlib/Tactic/NoMatch.lean

Modified Mathlib/Tactic/RCases.lean

Modified Mathlib/Tactic/Ring.lean

added def Tactic.Ring.State.numAtoms

Modified Mathlib/Tactic/Sat/FromLRAT.lean

Modified Mathlib/Tactic/ToAdditive.lean

Modified lean-toolchain