Skip to content

feat: make getLsbD_eq_getElem a simp lemma #22035

feat: make getLsbD_eq_getElem a simp lemma

feat: make getLsbD_eq_getElem a simp lemma #22035