Mathlib Changelog
v4
Changelog
About
Github
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