Antisymmetric states

Simultaneous spatial and spin permutation with the fermionic sign.

def LiebThirring.antisymmetric {N q : ℕ} (ψ : State N q) : Prop

Fermionic sign under simultaneous permutation of spatial and spin coordinates.

Equations

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