theorem proved term proof

`spinor_dim_D2`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 198theorem spinor_dim_D2 : spinorDimension 2 = 2 := rfl

Term-mode proof.

 199
 200/-- D = 4 gives 4-component spinors (chiral structure). -/

Lean names referenced from this declaration's body.

spinorDimension in IndisputableMonolith.Foundation.DimensionForcing decl_use