`BookProof.QgPhysicalSectorIdentity.int_L_gf_eq_zero_physical` (I : BrstIntegral S.toGaugeFixingSystem) : I.int (sTop S.toGaugeFixingSystem (Psi S.toGaugeFixingSystem)) = 0

Initializing...

`BookProof.QgPhysicalSectorIdentity.int_L_gf_eq_zero_physical` (I : BrstIntegral S.toGaugeFixingSystem) : I.int (sTop S.toGaugeFixingSystem (Psi S.toGaugeFixingSystem)) = 0 · Prove2Me