`BookProof.ChapterLinftyMultiplication.memLp_top_conj` {φ : α → ℂ} (hφ : MemLp φ ⊤ μ) : MemLp (fun x => (starRingEnd ℂ) (φ x)) ⊤ μ

Initializing...

`BookProof.ChapterLinftyMultiplication.memLp_top_conj` {φ : α → ℂ} (hφ : MemLp φ ⊤ μ) : MemLp (fun x => (starRingEnd ℂ) (φ x)) ⊤ μ · Prove2Me