Skip to content

docs(electromagnetism): add kinematics API map#1439

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
Robby955:api-map-electromagnetism
Jul 20, 2026
Merged

docs(electromagnetism): add kinematics API map#1439
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
Robby955:api-map-electromagnetism

docs(electromagnetism): drop issue reference, cite Jackson sections

d435fad
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Python based linters
succeeded Jul 19, 2026 in 12s