`BookProof.StoneEigenflow.exists_diagonal_stone_flow` [CompleteSpace F] {D : Submodule ℂ F} (Hc : D →ₗ[ℂ] F) (hdense : Dense ((D : Submodule ℂ F) : Set F)) (hsym : SymmetricOn D Hc

Initializing...

`BookProof.StoneEigenflow.exists_diagonal_stone_flow` [CompleteSpace F] {D : Submodule ℂ F} (Hc : D →ₗ[ℂ] F) (hdense : Dense ((D : Submodule ℂ F) : Set F)) (hsym : SymmetricOn D Hc · Prove2Me