Theorem HasCompactSupport.smul_right

Modification history