`BookProof.StoneEigenflow.stoneFlow_apply_eigenvector` {T : UnboundedSelfAdjoint F} {U : ℝ → (F →L[ℂ] F)} (hU : IsStoneFlow T U) {x : F} (hx : x ∈ T.domain) {lam : ℝ} (hev : T.op ⟨

Initializing...

`BookProof.StoneEigenflow.stoneFlow_apply_eigenvector` {T : UnboundedSelfAdjoint F} {U : ℝ → (F →L[ℂ] F)} (hU : IsStoneFlow T U) {x : F} (hx : x ∈ T.domain) {lam : ℝ} (hev : T.op ⟨ · Prove2Me