Statement file: sigmaMat (Section3). This file contains exactly one declaration of the formalization's public statement surface.

def AVenhance.sigmaMat : Matrix (Fin 2) (Fin 2) ℝ

e.sigma (label 919): σ = (0 -1; 1 0).

Equations

• AVenhance.sigmaMat = !![0, -1; 1, 0]