Representations
📁 Source: PhysLean/Particles/StandardModel/Representations.lean
Statistics
| Metric | Count |
|---|---|
| 3 | |
| 4 | |
| Total | 7 |
StandardModel
Definitions
| Name | Category | Theorems |
|---|---|---|
fundamentalSU2 📖 | CompOp | |
repU1 📖 | CompOp | |
repU1Map 📖 | CompOp |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
fundamentalSU2_apply_coe 📖 | mathematical | — | fundamentalSU2 | — | — |
repU1Map_coe 📖 | mathematical | — | repU1Map | — | — |
repU1_apply_coe 📖 | mathematical | — | repU1 | — | — |
repU1_fundamentalSU2_commute 📖 | mathematical | — | repU1fundamentalSU2 | — | — |
---