`BookProof.ChapterWignerSymmetry.wigner_symmetry_of_finiteDimensional` {F : Type*} [NormedAddCommGroup F] [InnerProductSpace ℂ F] [FiniteDimensional ℂ F] [Nontrivial F] {T : F → F}

Initializing...

`BookProof.ChapterWignerSymmetry.wigner_symmetry_of_finiteDimensional` {F : Type*} [NormedAddCommGroup F] [InnerProductSpace ℂ F] [FiniteDimensional ℂ F] [Nontrivial F] {T : F → F} · Prove2Me