`BookProof.QgPhysicalSectorIdentity.matrixModel_lagrange_term_zero` (hfix : gaugeField matrixModel.toGaugeFixingSystem = 0) : matrixModel.mul (1, 0) (1, 0) matrixModel.B (gaugeFiel

Initializing...

`BookProof.QgPhysicalSectorIdentity.matrixModel_lagrange_term_zero` (hfix : gaugeField matrixModel.toGaugeFixingSystem = 0) : matrixModel.mul (1, 0) (1, 0) matrixModel.B (gaugeFiel · Prove2Me