Theorem WithLp.toLp_snd

Modification history