`BookProof.ChapterGellMann.gellMann_isHermitian` (a : Fin 8) : (gellMann a).IsHermitian

Initializing...

`BookProof.ChapterGellMann.gellMann_isHermitian` (a : Fin 8) : (gellMann a).IsHermitian · Prove2Me