Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
catalan
Modification history
2022-06-26 17:01
src/combinatorics/catalan.lean
feat(combinatorics/catalan): definition and equality of recursive and explicit definition (#14869) …
Added
catalan
View on Github →