Basic
📁 Source: PhysLean/Meta/Informal/Basic.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsinformalDefinitionDecl, informalLemmaDecl, InformalDefinition, deps, tag, InformalLemma, deps, tag | 8 |
| Theorems | 0 |
| Total | 8 |
Informal
Definitions
| Name | Category | Theorems |
|---|---|---|
informalDefinitionDecl 📖 | CompOp | — |
informalLemmaDecl 📖 | CompOp | — |
InformalDefinition
Definitions
| Name | Category | Theorems |
|---|---|---|
deps 📖 | CompOp | — |
tag 📖 | CompOp | — |
InformalLemma
Definitions
| Name | Category | Theorems |
|---|---|---|
deps 📖 | CompOp | — |
tag 📖 | CompOp | — |
(root)
Definitions
| Name | Category | Theorems |
|---|---|---|
InformalDefinition 📖 | CompData | — |
InformalLemma 📖 | CompData | — |
---