One

📁 Source: PhysLean/QFT/QED/AnomalyCancellation/LowDim/One.lean

Statistics

Metric	Count
Definitions	0
Theorems solEqZero	1
Total	1

PureU1.One

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
solEqZero 📖	mathematical	—	ACCSystemLinear.LinSols ACCSystemQuad.toACCSystemLinear ACCSystem.toACCSystemQuad PureU1 ACCSystemLinear.linSolsAddCommGroup	—	ACCSystemLinear.LinSols.ext pureU1_linear

---

← Back to Index