`BookProof.ChapterGaugeIncompleteFixing.isPhysicalOperator_iff_mem_centralizer` (U : G → (H →L[ℂ] H)) (A : H →L[ℂ] H) : IsPhysicalOperator U A ↔ A ∈ Subalgebra.centralizer ℂ (Set.r

Initializing...

`BookProof.ChapterGaugeIncompleteFixing.isPhysicalOperator_iff_mem_centralizer` (U : G → (H →L[ℂ] H)) (A : H →L[ℂ] H) : IsPhysicalOperator U A ↔ A ∈ Subalgebra.centralizer ℂ (Set.r · Prove2Me