`BookProof.ChapterGaugeWeylResidual.remnant_moves_every_configuration` : ∃ θ : ℝ → ℝ → ℝ, TimeIndependent θ ∧ (∀ t x, dt θ t x = 0) ∧ (∀ t x, dx θ t x = 1) ∧ ∀ A1 :...

Initializing...

`BookProof.ChapterGaugeWeylResidual.remnant_moves_every_configuration` : ∃ θ : ℝ → ℝ → ℝ, TimeIndependent θ ∧ (∀ t x, dt θ t x = 0) ∧ (∀ t x, dx θ t x = 1) ∧ ∀ A1 :... · Prove2Me