Theorem Std.BitVec.toFin_injective

Modification history