Theorem WithLp.equiv_smul

Modification history