`BookProof.ChapterPauliFundamental.G_eq_map` (T : Finset (Fin 4)) : G T = (GZ T).map (Int.cast)

Initializing...

`BookProof.ChapterPauliFundamental.G_eq_map` (T : Finset (Fin 4)) : G T = (GZ T).map (Int.cast) · Prove2Me