Theorem Std.BitVec.toNat_lt_toNat

Modification history