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