Theorem BitVec.ofNat_toNat_of_eq

Modification history