Post
📁 Source: PhysLean/Meta/Informal/Post.lean
Statistics
| Metric | Count |
|---|---|
| 9 | |
| Theorems | 0 |
| Total | 9 |
Informal
Definitions
| Name | Category | Theorems |
|---|---|---|
constantInfoToInformalDefinition 📖 | CompOp | — |
constantInfoToInformalLemma 📖 | CompOp | — |
getTag 📖 | CompOp | — |
isInformal 📖 | CompOp | — |
isInformalDef 📖 | CompOp | — |
isInformalLemma 📖 | CompOp | — |
PhysLean
Definitions
| Name | Category | Theorems |
|---|---|---|
AllInformal 📖 | CompOp | — |
noInformalDefs 📖 | CompOp | — |
noInformalLemmas 📖 | CompOp | — |
---