Skip to content

feat: Representation on Lorentz Vectors#1213

Open
jstoobysmith wants to merge 2 commits into
leanprover-community:masterfrom
jstoobysmith:RepsVectorCOVector
Open

feat: Representation on Lorentz Vectors#1213
jstoobysmith wants to merge 2 commits into
leanprover-community:masterfrom
jstoobysmith:RepsVectorCOVector

feat: Add representation for CoVector

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

Annotations

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