Mathlib Changelog
v4
Changelog
About
Github
Def
Descriptive.Tree.pullSub
Modification history
2025-04-06 17:49
Mathlib/SetTheory/Descriptive/Tree.lean
feat: Descriptive.tree basic API (#21234) …
Added
Descriptive.Tree.pullSub
View on Github →