Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-07-30 00:05
190a3318
View on Github →
chore(Combinatorics/HalesJewett): replace Fintype -> Finite (
#15279
) Found by the linter in
#10235
.
Estimated changes
Modified
Mathlib/Combinatorics/HalesJewett.lean
modified
theorem
Combinatorics.Subspace.exists_mono_in_high_dimension_fin