`BookProof.VielbeinFock.vielbeinFock_stone_flow` (M alpha : ℝ) (d : ℕ) (om : Fin d → ℝ) : ∃ (T : UnboundedSelfAdjoint (vielbeinFock d)) (U : ℝ → (vielbeinFock d →L[ℂ] vielbeinFock

Initializing...

`BookProof.VielbeinFock.vielbeinFock_stone_flow` (M alpha : ℝ) (d : ℕ) (om : Fin d → ℝ) : ∃ (T : UnboundedSelfAdjoint (vielbeinFock d)) (U : ℝ → (vielbeinFock d →L[ℂ] vielbeinFock · Prove2Me