Theorem BitVec.toNat_ofNat_of_lt

Modification history