HyperCharge

📁 Source: PhysLean/Particles/SuperSymmetry/MSSMNu/AnomalyCancellation/HyperCharge.lean

Statistics

Metric	Count
Definitions Y, YAsCharge	2
Theorems	0
Total	2

MSSMACC

Definitions

Name	Category	Theorems
Y 📖	CompOp	—
YAsCharge 📖	CompOp	—

---

← Back to Index