Commit 2025-12-19 07:43 6eff3040

View on Github →

chore(Combinatorics): fix whitespace (#32929)

Estimated changes

Modified Mathlib/Combinatorics/Additive/SmallTripling.lean

Modified Mathlib/Combinatorics/Additive/SubsetSum.lean

Modified Mathlib/Combinatorics/Configuration.lean

Modified Mathlib/Combinatorics/Enumerative/Bell.lean

Modified Mathlib/Combinatorics/HalesJewett.lean

Modified Mathlib/Combinatorics/Matroid/Basic.lean

Modified Mathlib/Combinatorics/Matroid/Closure.lean

Modified Mathlib/Combinatorics/Matroid/IndepAxioms.lean

Modified Mathlib/Combinatorics/Matroid/Loop.lean

Modified Mathlib/Combinatorics/Matroid/Map.lean

Modified Mathlib/Combinatorics/Matroid/Minor/Restrict.lean

Modified Mathlib/Combinatorics/Matroid/Rank/Cardinal.lean

Modified Mathlib/Combinatorics/Matroid/Rank/ENat.lean

Modified Mathlib/Combinatorics/SetFamily/Compression/Down.lean

Modified Mathlib/Combinatorics/SimpleGraph/Clique.lean

Modified Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkDecomp.lean

Modified Mathlib/Combinatorics/SimpleGraph/Diam.lean

modified theorem SimpleGraph.exists_eccent_eq_radius

Modified Mathlib/Combinatorics/SimpleGraph/Extremal/Turan.lean

Modified Mathlib/Combinatorics/SimpleGraph/Extremal/TuranDensity.lean

Modified Mathlib/Combinatorics/SimpleGraph/FiveWheelLike.lean

Modified Mathlib/Combinatorics/SimpleGraph/Matching.lean

Modified Mathlib/Combinatorics/SimpleGraph/Metric.lean

Modified Mathlib/Combinatorics/SimpleGraph/Paths.lean

Modified Mathlib/Combinatorics/SimpleGraph/Prod.lean

Modified Mathlib/Combinatorics/SimpleGraph/Subgraph.lean

Modified Mathlib/Combinatorics/SimpleGraph/Triangle/Removal.lean

Modified Mathlib/Combinatorics/SimpleGraph/Triangle/Tripartite.lean

modified theorem SimpleGraph.TripartiteFromTriangles.rel_symm