Theorem CompactlySupportedContinuousMap.coe_smul

Modification history