Theorem SchwartzMap.decay_smul_aux

Modification history