Commit 2026-06-02 06:43 66748b48

View on Github →

chore: add space when missing in front of := (#40141)

Estimated changes

Modified Mathlib/Algebra/Colimit/DirectLimit.lean

Modified Mathlib/CategoryTheory/Join/Pseudofunctor.lean

Modified Mathlib/Order/RelSeries.lean

Modified Mathlib/RingTheory/AdicCompletion/Completeness.lean

Modified Mathlib/RingTheory/Flat/Basic.lean

Modified Mathlib/RingTheory/Flat/FaithfullyFlat/Basic.lean

Modified Mathlib/RingTheory/IsTensorProduct.lean

Modified Mathlib/RingTheory/LocalRing/Etale.lean

Modified Mathlib/RingTheory/OrderOfVanishing/Basic.lean

modified theorem Ring.ord_neg

Modified MathlibTest/FunPropMinimal.lean

Modified MathlibTest/SlimCheck.lean

Modified MathlibTest/Tactic/Algebra.lean