`BookProof.ChapterA3.spinLie_hasAdLambda_lorentzLie` {G : Matrix (Fin 4) (Fin 4) ℝ} (hG : IsSpinLie G) : ∃ A, HasAdLambda G A ∧ A ∈ LorentzLie

Initializing...

`BookProof.ChapterA3.spinLie_hasAdLambda_lorentzLie` {G : Matrix (Fin 4) (Fin 4) ℝ} (hG : IsSpinLie G) : ∃ A, HasAdLambda G A ∧ A ∈ LorentzLie · Prove2Me