Theorem Std.BitVec.toFin_natCast

Modification history