`BookProof.SmBrstGhost.matterGen_lie` {m : ℕ} {T : Fin 12 → Matrix (Fin m) (Fin m) ℂ} {f : Fin 12 → Fin 12 → Fin 12 → ℝ} (hT : ClosesWithStructureConstants T f) (a b : Fin 12) : ma

Initializing...

`BookProof.SmBrstGhost.matterGen_lie` {m : ℕ} {T : Fin 12 → Matrix (Fin m) (Fin m) ℂ} {f : Fin 12 → Fin 12 → Fin 12 → ℝ} (hT : ClosesWithStructureConstants T f) (a b : Fin 12) : ma · Prove2Me