`BookProof.QgPhysicalSectorIdentity.lagrange_term_zero_of_fixing` (hfix : gaugeField S.toGaugeFixingSystem = S.toGaugeFixingSystem.zero (1, 0)) : S.mul (1, 0) (1, 0) S.B (gaugeFiel

Initializing...

`BookProof.QgPhysicalSectorIdentity.lagrange_term_zero_of_fixing` (hfix : gaugeField S.toGaugeFixingSystem = S.toGaugeFixingSystem.zero (1, 0)) : S.mul (1, 0) (1, 0) S.B (gaugeFiel · Prove2Me