Theorem $typeName.intCast_def

Modification history