Theorem Std.BitVec.ofNat_toNat

Modification history