Documentation Verification Report

Basic

📁 Source: PhysLean/Electromagnetism/ThreeDimension/Basic.lean

Statistics

MetricCount
Definitions0
TheoremselectricField_eq_3D, magneticField_eq_3D
2
Total2

Electromagnetism.ThreeDimension

Theorems

NameKindAssumesProvesValidatesDepends On
electricField_eq_3D 📖mathematical—Electromagnetism.ElectromagneticPotential.electricField
Space.grad
Electromagnetism.ElectromagneticPotential.scalarPotential
Time.deriv
Electromagnetism.ElectromagneticPotential.vectorPotential		—Electromagnetism.ElectromagneticPotential.electricField_eq
magneticField_eq_3D 📖mathematical—Electromagnetism.ElectromagneticPotential.magneticField
Space.curl
Electromagnetism.ElectromagneticPotential.vectorPotential		—Electromagnetism.ElectromagneticPotential.magneticField_eq

---

← Back to Index