Theorem Std.BitVec.toFin_le_toFin_of_le

Modification history