Theorem Std.BitVec.ofFin_and

Modification history