`BookProof.ChapterPauliGrover.pauliX_unitary` : pauliX ∈ Matrix.unitaryGroup (Fin 2) ℂ

Initializing...

`BookProof.ChapterPauliGrover.pauliX_unitary` : pauliX ∈ Matrix.unitaryGroup (Fin 2) ℂ · Prove2Me