P
Initializing...
`BookProof.ChapterWignerSymmetry.map_zero` (hT : IsWignerSymmetry T) : T 0 = 0 · Prove2Me