Commit 2022-11-22 18:54 af987ca1

View on Github →

chore: bump to nightly-2022-11-21 (#679)

Estimated changes

Modified Mathlib/Init/Logic.lean

Modified Mathlib/Tactic/Core.lean

deleted def Lean.Parser.Tactic.dsimpArg

Modified lean-toolchain

Modified lean_packages/manifest.json