Def Descriptive.Tree.subAt

Modification history

2025-12-20 21:16
Mathlib/SetTheory/Descriptive/Tree.lean
chore: remove some `backward.proofsInPublic` settings (#32945)
Modified Descriptive.Tree.subAtView on Github →
2025-04-06 17:49
Mathlib/SetTheory/Descriptive/Tree.lean
feat: Descriptive.tree basic API (#21234) …
Added Descriptive.Tree.subAtView on Github →