docs(electromagnetism): add kinematics API map#1439

jstoobysmith merged 2 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

Robby955:api-map-electromagnetismRobby955/physlib:api-map-electromagnetismCopy head branch name to clipboard