CliffordAlgebra

📁 Source: PhysLean/Relativity/PauliMatrices/CliffordAlgebra.lean

Statistics

Metric	Count
Definitions form, ofCliffordAlgebra	2
Theorems form_apply, ofCliffordAlgebra_ι_single	2
Total	4

PauliMatrix

Definitions

Name	Category	Theorems
form 📖	CompOp	2 math math: ofCliffordAlgebra_ι_single, form_apply
ofCliffordAlgebra 📖	CompOp	1 math math: ofCliffordAlgebra_ι_single

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
form_apply 📖	mathematical	—	form	—	—
ofCliffordAlgebra_ι_single 📖	mathematical	—	form pauliMatrix ofCliffordAlgebra	—	—

---

← Back to Index