`BookProof.QgPhysicalSectorIdentity.L_gf_constraint_surface` (hfix : gaugeField S.toGaugeFixingSystem = S.toGaugeFixingSystem.zero (1, 0)) : S.s (Psi S.toGaugeFixingSystem) = S.sub

Initializing...

`BookProof.QgPhysicalSectorIdentity.L_gf_constraint_surface` (hfix : gaugeField S.toGaugeFixingSystem = S.toGaugeFixingSystem.zero (1, 0)) : S.s (Psi S.toGaugeFixingSystem) = S.sub · Prove2Me