Theorem HasCompactSupport.smul_left'

Modification history