`BookProof.ClosureUniqueness.opGraph_clExt` (T : D →ₗ[ℂ] F) (hdense : Dense (D : Set F)) (hsym : SymmetricOn D T) : opGraph (clExt T hdense hsym) = clGraph T

Initializing...

`BookProof.ClosureUniqueness.opGraph_clExt` (T : D →ₗ[ℂ] F) (hdense : Dense (D : Set F)) (hsym : SymmetricOn D T) : opGraph (clExt T hdense hsym) = clGraph T · Prove2Me