Theorem Std.BitVec.toFin_ofNat

Modification history