Theorem CompactlySupportedContinuousMap.toRealLinear_apply

Modification history