`BookProof.ChapterG3.qftVacuum_gauge_invariant` (k : ℕ) (L : EuclideanSpace ℝ (Fin k) ≃ₗᵢ[ℝ] EuclideanSpace ℝ (Fin k)) : (qftVacuum k).map L = qftVacuum k

Initializing...

`BookProof.ChapterG3.qftVacuum_gauge_invariant` (k : ℕ) (L : EuclideanSpace ℝ (Fin k) ≃ₗᵢ[ℝ] EuclideanSpace ℝ (Fin k)) : (qftVacuum k).map L = qftVacuum k · Prove2Me