Theorem PiLp.norm_equiv_symm_single

Modification history