Theorem BitVec.ofFin_ofNat

Modification history