Theorem Descriptive.Tree.mem_pullSub_short

Modification history

2025-07-25 22:49
Mathlib/SetTheory/Descriptive/Tree.lean
chore: fix more indentation (#27494) …
Modified Descriptive.Tree.mem_pullSub_shortView on Github →
2025-04-06 17:49
Mathlib/SetTheory/Descriptive/Tree.lean
feat: Descriptive.tree basic API (#21234) …
Added Descriptive.Tree.mem_pullSub_shortView on Github →