Commit 2023-12-05 11:51 b06172d4

View on Github →

chore: add no space after "←" to lint-style.py (#8789)

Estimated changes

Modified Counterexamples/CliffordAlgebra_not_injective.lean

Modified Mathlib/Combinatorics/SimpleGraph/Basic.lean

modified theorem SimpleGraph.edgeSet_eq_empty

Modified Mathlib/Logic/Relation.lean

Modified Mathlib/MeasureTheory/Measure/HasOuterApproxClosed.lean

Modified Mathlib/RingTheory/PolynomialAlgebra.lean

Modified scripts/lint-style.py