`BookProof.ChapterWignerSymmetry.wignerCoord_coordMap` (hT : IsWignerSymmetry T) : WignerCoord (coordMap b T (imgBasis b T o hT)) o

Initializing...

`BookProof.ChapterWignerSymmetry.wignerCoord_coordMap` (hT : IsWignerSymmetry T) : WignerCoord (coordMap b T (imgBasis b T o hT)) o · Prove2Me