VectorLike
📁 Source: PhysLean/QFT/QED/AnomalyCancellation/VectorLike.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsVectorLikeEven | 1 |
| 2 | |
| Total | 3 |
PureU1
Definitions
| Name | Category | Theorems |
|---|---|---|
VectorLikeEven 📖 | MathDef |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
split_equal 📖 | — | — | — | — | — |
split_odd 📖 | — | — | — | — | — |
---