Commit 2022-08-09 15:10 735ae273

View on Github →

chore: update to nightly-2022-08-09 (#360)

Estimated changes

Modified Mathlib/Mathport/Syntax.lean

Modified Mathlib/Tactic/Alias.lean

Modified Mathlib/Tactic/Find.lean

Modified Mathlib/Tactic/PrintPrefix.lean

Modified Mathlib/Tactic/RunCmd.lean

Modified Mathlib/Tactic/Sat/FromLRAT.lean

Modified Mathlib/Tactic/TryThis.lean

modified def Tactic.TryThis.addSuggestion

Modified lean-toolchain

Modified scripts/nolints.json