HTMLNote

📁 Source: PhysLean/Meta/Notes/HTMLNote.lean

Statistics

Metric	Count
Definitions HTMLNote, content, fileName, line, ofFormal, ofInformal, ofNodeInfo	7
Theorems	0
Total	7

PhysLean

Definitions

Name	Category	Theorems
HTMLNote 📖	CompData	—

PhysLean.HTMLNote

Definitions

Name	Category	Theorems
content 📖	CompOp	—
fileName 📖	CompOp	—
line 📖	CompOp	—
ofFormal 📖	CompOp	—
ofInformal 📖	CompOp	—
ofNodeInfo 📖	CompOp	—

---

← Back to Index