Theorem Std.BitVec.toFin_ofFin

Modification history