Theorem WithLp.toLp_smul

Modification history