Theorem $typeName.nsmul_def

Modification history