feat: add BitVec.getLsb_concat
#135
copyright-header.yml
on: pull_request
check-lean-files
18s
BitVec.getLsb_concat
#135