Theorem Combinatorics.Line.diagonal_apply

Modification history

2025-02-11 15:35
Mathlib/Combinatorics/HalesJewett.lean
refactor: don't use lambdas in `CoeFun` instances (#21405) …
Modified Combinatorics.Line.diagonal_applyView on Github →
2023-02-21 09:26
Mathlib/Combinatorics/HalesJewett.lean
feat: port Combinatorics.HalesJewett (#1704)
Added Combinatorics.Line.diagonal_applyView on Github →