(T : F →L[ℂ] F) (c : ℂ) (x : F) : rayleighVal T (c • x) = ‖c‖ ^ 2 * rayleighVal T x

Initializing...

(T : F →L[ℂ] F) (c : ℂ) (x : F) : rayleighVal T (c • x) = ‖c‖ ^ 2 * rayleighVal T x · Prove2Me