Theorem Real.compact_inner_le_weight_mul_Lp_of_nonneg

Modification history