[WIP] Remove pre-Lorentz vectors Co, Contr, etc.#1049

jstoobysmith with Copilot wants to merge 1 commit into

masterleanprover-community/physlib:masterfrom

copilot/remove-pre-lorentz-vectorsleanprover-community/physlib:copilot/remove-pre-lorentz-vectorsCopy head branch name to clipboard