`BookProof.ChapterGaugeIncompleteFixing.one_mem_physicalSubalgebra` : (1 : X → ℝ) ∈ physicalSubalgebra G

Initializing...

`BookProof.ChapterGaugeIncompleteFixing.one_mem_physicalSubalgebra` : (1 : X → ℝ) ∈ physicalSubalgebra G · Prove2Me