Theorem Std.BitVec.ofFin_le_ofFin_of_le

Modification history