Theorem WithLp.equiv_single

Modification history