`BookProof.NsScalarFourier.nsScalarFourier_prodMk_eq` (a : Lp ℂ 2 (volume : Measure V)) (c : Lp ℂ 2 (volume : Measure W)) : nsScalarFourier V W (prodMk a c) = curryLI (nsPartialFou

Initializing...

`BookProof.NsScalarFourier.nsScalarFourier_prodMk_eq` (a : Lp ℂ 2 (volume : Measure V)) (c : Lp ℂ 2 (volume : Measure W)) : nsScalarFourier V W (prodMk a c) = curryLI (nsPartialFou · Prove2Me