Theorem CompactlySupportedContinuousMap.toRealLinear_nonneg

Modification history