Commit 2026-02-13 05:47 cf6b5548

View on Github →

chore: use named fields in DyckWord.equivTree (#35231) As suggested in https://github.com/leanprover-community/mathlib4/pull/34143#pullrequestreview-3794748609.

Estimated changes

Modified Mathlib/Combinatorics/Enumerative/DyckWord.lean

modified def DyckWord.equivTree