Theorem Std.BitVec.toNat_ofNat

Modification history