Theorem $typeName.toBitVec_injective

Modification history