`BookProof.ChapterWignerSymmetry.imgBasis_apply` (hT : IsWignerSymmetry T) (i : ι) : imgBasis b T o hT i = alignPhase b T o i • T (b i)

Initializing...

`BookProof.ChapterWignerSymmetry.imgBasis_apply` (hT : IsWignerSymmetry T) (i : ι) : imgBasis b T o hT i = alignPhase b T o i • T (b i) · Prove2Me