feat: BitVec.eq_of_getElem_eq#5213

tobiasgrosser wants to merge 5 commits intoleanprover:masterleanprover/lean4:masterfrom

opencompl:eq_of_getElem_eqopencompl/lean4:eq_of_getElem_eqCopy head branch name to clipboard