NoteFile

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

Statistics

Metric	Count
Definitions NoteFile, abstract, authors, files, imports, title	6
Theorems	0
Total	6

PhysLean

Definitions

Name	Category	Theorems
NoteFile 📖	CompData	—

PhysLean.NoteFile

Definitions

Name	Category	Theorems
abstract 📖	CompOp	—
authors 📖	CompOp	—
files 📖	CompOp	—
imports 📖	CompOp	—
title 📖	CompOp	—

---

← Back to Index