Theorem equiv_lpPiLp_norm

Modification history