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