Theorem BitVec.ofFin_zero

Modification history