Basic
📁 Source: PhysLean/QuantumMechanics/FiniteTarget/Basic.lean
Statistics
| Metric | Count |
|---|---|
| 5 | |
| 2 | |
| Total | 7 |
QuantumMechanics
Definitions
| Name | Category | Theorems |
|---|---|---|
FiniteTarget 📖 | CompData | — |
QuantumMechanics.FiniteTarget
Definitions
| Name | Category | Theorems |
|---|---|---|
Ham 📖 | CompOp | |
timeEvolution 📖 | CompOp | — |
timeEvolutionMatrix 📖 | CompOp | — |
timeEvolutionMatrixStandard 📖 | CompOp | — |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
Ham_selfAdjoint 📖 | mathematical | — | Ham | — | — |
hdim 📖 | — | — | — | — | — |
---