Basic

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

Statistics

Metric	Count
Definitions NoteInfo, content, fileName, line, elabNote, noteAttribute, noteDeclExtension, noteExtension, noteInformalAttribute, noteInformalDeclExtension, note_comment	11
Theorems	0
Total	11

PhysLean

Definitions

Name	Category	Theorems
NoteInfo 📖	CompData	—
elabNote 📖	CompOp	—
noteAttribute 📖	CompOp	—
noteDeclExtension 📖	CompOp	—
noteExtension 📖	CompOp	—
noteInformalAttribute 📖	CompOp	—
noteInformalDeclExtension 📖	CompOp	—
note_comment 📖	CompOp	—

PhysLean.NoteInfo

Definitions

Name	Category	Theorems
content 📖	CompOp	—
fileName 📖	CompOp	—
line 📖	CompOp	—

---

← Back to Index