The Pure U(1) case with 2 fermions

We define an equivalence between LinSols and Sols.

def PureU1.Two.equiv : (PureU1 2).LinSols ≃ (PureU1 2).Sols

An equivalence between LinSols and Sols.

Equations

• One or more equations did not get rendered due to their size.