Theorem $typeName.zsmul_def

Modification history