Theorem Descriptive.mem_of_prefix

Modification history

2025-04-06 17:49
Mathlib/SetTheory/Descriptive/Tree.lean
feat: Descriptive.tree basic API (#21234) …
Deleted Descriptive.mem_of_prefixView on Github →
2025-01-27 14:13
Mathlib/SetTheory/Descriptive/Tree.lean
feat: define Descriptive.Tree (#18763) …
Added Descriptive.mem_of_prefixView on Github →