Basic

📁 Source: PhysLean/Electromagnetism/Basic.lean

Statistics

Metric	Count
Definitions ChargeDensity, EMSystem, c, coulombConstant, ε₀, μ₀	6
Theorems	0
Total	6

Electromagnetism

Definitions

Name	Category	Theorems
ChargeDensity 📖	CompOp	—
EMSystem 📖	CompData	—

Electromagnetism.EMSystem

Definitions

Name	Category	Theorems
c 📖	CompOp	—
coulombConstant 📖	CompOp	—
ε₀ 📖	CompOp	—
μ₀ 📖	CompOp	—

---

← Back to Index