Theorem Std.BitVec.ofFin_pow

Modification history