`BookProof.NsBrstDerivativeGauge.nsGaugeConstraint_comm` (j k : Fin 3) : nsGaugeConstraint j * nsGaugeConstraint k = nsGaugeConstraint k * nsGaugeConstraint j

Initializing...

`BookProof.NsBrstDerivativeGauge.nsGaugeConstraint_comm` (j k : Fin 3) : nsGaugeConstraint j * nsGaugeConstraint k = nsGaugeConstraint k * nsGaugeConstraint j · Prove2Me