`BookProof.QgPhysicalSectorIdentity.s_gaugeField_eq_c` : S.s (gaugeField S.toGaugeFixingSystem) = S.c

Initializing...

`BookProof.QgPhysicalSectorIdentity.s_gaugeField_eq_c` : S.s (gaugeField S.toGaugeFixingSystem) = S.c · Prove2Me