Theorem lipschitzWith_smul

Modification history