`BookProof.ChapterSchurRepresentation.adjoint_uCLM` (f : V ≃ₗᵢ[ℂ] V) : ContinuousLinearMap.adjoint (uCLM f) = uCLM f.symm

Initializing...

`BookProof.ChapterSchurRepresentation.adjoint_uCLM` (f : V ≃ₗᵢ[ℂ] V) : ContinuousLinearMap.adjoint (uCLM f) = uCLM f.symm · Prove2Me