`BookProof.NsBrstDerivativeGauge.genY2_comm_genU` (i j : Fin 3) : genY2 j * genU i = genU i * genY2 j

Initializing...

`BookProof.NsBrstDerivativeGauge.genY2_comm_genU` (i j : Fin 3) : genY2 j * genU i = genU i * genY2 j · Prove2Me