Theorem Std.BitVec.ofFin_zsmul

Modification history