Theorem SchwartzMap.smul_apply

Modification history