Mathlib Changelog
v4
Changelog
About
Github
Theorem
Combinatorics.Line.coe_apply
Modification history
2025-02-11 15:35
Mathlib/Combinatorics/HalesJewett.lean
refactor: don't use lambdas in `CoeFun` instances (#21405) …
Modified
Combinatorics.Line.coe_apply
View on Github →
2024-07-23 15:36
Mathlib/Combinatorics/HalesJewett.lean
feat: Combinatorial subspaces and multidimensional Hales-Jewett (#8304) …
Added
Combinatorics.Line.coe_apply
View on Github →