feat: add Bitvec.toFin_twoPow
#445
copyright-header.yml
on: pull_request
check-lean-files
22s
Bitvec.toFin_twoPow
#445