Theorem Std.BitVec.ofNat_eq_mod_two_pow

Modification history