Theorem NormedSpace.Dual.norm_toLpₗ_le

Modification history