Commit 2026-03-02 18:03 1423e7ad

View on Github →

doc(misc): fix typos (#35856) The typos were identified by PyCharm's proofreading inspection.

Estimated changes

Modified .github/workflows/bors.yml

Modified Archive/MiuLanguage/DecisionNec.lean

Modified Archive/MiuLanguage/DecisionSuf.lean

Modified Cache/IO.lean

Modified Counterexamples/PeanoCurve.lean

Modified Mathlib/Tactic/Attr/Register.lean

Modified Mathlib/Tactic/ComputeAsymptotics/Multiseries/Corecursion.lean

Modified Mathlib/Tactic/DepRewrite.lean

Modified Mathlib/Tactic/FunProp.lean

Modified Mathlib/Tactic/FunProp/Elab.lean

Modified Mathlib/Tactic/Linarith/Preprocessing.lean

Modified Mathlib/Tactic/Order/CollectFacts.lean

Modified Mathlib/Tactic/Translate/Core.lean

Modified MathlibTest/CategoryTheory/Reassoc.lean

Modified MathlibTest/LintStyle.lean

Modified MathlibTest/fun_prop_dev.lean

Modified MathlibTest/grind/lint.lean

Modified MathlibTest/grind/pairwise_disjoint.lean

Modified docs/1000.yaml

Modified scripts/yaml_check.py