`BookProof.FriedrichsSquare.frDom_le_clDom` (A : D →ₗ[ℂ] F) : frDom A ≤ clDom A

Initializing...

`BookProof.FriedrichsSquare.frDom_le_clDom` (A : D →ₗ[ℂ] F) : frDom A ≤ clDom A · Prove2Me