Properties
📁 Source: PhysLean/Meta/Remark/Properties.lean
Statistics
| Metric | Count |
|---|---|
| 4 | |
| Theorems | 0 |
| Total | 4 |
PhysLean
Definitions
| Name | Category | Theorems |
|---|---|---|
allRemarkInfo 📖 | CompOp | — |
PhysLean.RemarkInfo
Definitions
| Name | Category | Theorems |
|---|---|---|
IsRemark 📖 | CompOp | — |
getRemarkInfo 📖 | CompOp | — |
toFullName 📖 | CompOp | — |
---