`BookProof.ChapterA3.real_pauli` (hpf : PauliFundamental) (α β : Fin 4 → Matrix (Fin 4) (Fin 4) ℝ) (hα : IsCliffordR α) (hβ : IsCliffordR β) : ∃ S : Matrix (Fin 4) (Fin 4) ℝ, |S.de

Initializing...

`BookProof.ChapterA3.real_pauli` (hpf : PauliFundamental) (α β : Fin 4 → Matrix (Fin 4) (Fin 4) ℝ) (hα : IsCliffordR α) (hβ : IsCliffordR β) : ∃ S : Matrix (Fin 4) (Fin 4) ℝ, |S.de · Prove2Me