`BookProof.ChapterG.casimir_sufficient_for_constraints` {X Y : Type*} (π : X → Y) (h : IsUnconstrainedGaugeFixing π) : gaugeInvariantSubalgebra ℝ π ≠ ⊤

Initializing...

`BookProof.ChapterG.casimir_sufficient_for_constraints` {X Y : Type*} (π : X → Y) (h : IsUnconstrainedGaugeFixing π) : gaugeInvariantSubalgebra ℝ π ≠ ⊤ · Prove2Me