Basic
📁 Source: PhysLean/Meta/Remark/Basic.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsRemarkInfo, content, fileName, line, name, nameSpace, elabRemark, remarkExtension, remark_syntax | 9 |
| Theorems | 0 |
| Total | 9 |
PhysLean
Definitions
| Name | Category | Theorems |
|---|---|---|
RemarkInfo 📖 | CompData | — |
elabRemark 📖 | CompOp | — |
remarkExtension 📖 | CompOp | — |
remark_syntax 📖 | CompOp | — |
PhysLean.RemarkInfo
Definitions
| Name | Category | Theorems |
|---|---|---|
content 📖 | CompOp | — |
fileName 📖 | CompOp | — |
line 📖 | CompOp | — |
name 📖 | CompOp | — |
nameSpace 📖 | CompOp | — |
---