Basic
📁 Source: PhysLean/Relativity/Bispinors/Basic.lean
Statistics
| Metric | Count |
|---|---|
| 6 | |
| Theorems | 0 |
| Total | 6 |
complexLorentzTensor
Definitions
| Name | Category | Theorems |
|---|---|---|
coBispinorDown 📖 | CompOp | — |
coBispinorUp 📖 | CompOp | — |
coBispinorUp_eq_metric_contr_coBispinorDown 📖 | CompOp | — |
contrBispinorDown 📖 | CompOp | — |
contrBispinorUp 📖 | CompOp | — |
contrBispinorUp_eq_metric_contr_contrBispinorDown 📖 | CompOp | — |
---