Theorem Std.BitVec.toFin_nsmul

Modification history