Theorem CompactlySupportedContinuousMap.nnrealPart_smul_neg

Modification history