Theorem WithLp.prod_infty_equiv_isometry

Modification history