Commit 2022-11-12 02:35 8e25cb0b

View on Github →

chore: update deps 11-10 (#576)

Estimated changes

Modified Mathlib/Logic/Basic.lean

Modified Mathlib/Logic/Function/Basic.lean

Modified Mathlib/Mathport/Syntax.lean

Modified Mathlib/Tactic/Convert.lean

deleted def Lean.MVarId.congrN'

Modified Mathlib/Tactic/Ring/RingNF.lean

Modified Mathlib/Testing/SlimCheck/Sampleable.lean

Modified lean-toolchain

Modified lean_packages/manifest.json