`BookProof.FriedrichsCanonical.mem_formDomain` {P : PosSymOp F} {v : F} (k : FormSpace P) (hk : formExt P k = v) : v ∈ formDomain P

Initializing...

`BookProof.FriedrichsCanonical.mem_formDomain` {P : PosSymOp F} {v : F} (k : FormSpace P) (hk : formExt P k = v) : v ∈ formDomain P · Prove2Me