Basic

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

Statistics

Metric	Count
Definitions elabTODO, todoExtension, todoInfo, content, fileName, line, tag, todo_comment	8
Theorems	0
Total	8

PhysLean

Definitions

Name	Category	Theorems
elabTODO 📖	CompOp	—
todoExtension 📖	CompOp	—
todoInfo 📖	CompData	—
todo_comment 📖	CompOp	—

PhysLean.todoInfo

Definitions

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

---

← Back to Index