scratch
§
Check Lean Discrimination Tree Indexing
created 2025-03-10
use:
#discr_tree_simp_key extractLsb'_eq_self
❦