Mathlib Changelog
v4
Changelog
About
Github
Theorem
Combinatorics.Subspace.exists_mono_in_high_dimension
Modification history
2024-07-28 18:21
Mathlib/Combinatorics/HalesJewett.lean
chore(Combinatorics): drop some `DecidableEq` assumptions (#15233)
Modified
Combinatorics.Subspace.exists_mono_in_high_dimension
View on Github →
2024-07-23 15:36
Mathlib/Combinatorics/HalesJewett.lean
feat: Combinatorial subspaces and multidimensional Hales-Jewett (#8304) …
Added
Combinatorics.Subspace.exists_mono_in_high_dimension
View on Github →