Skip to content

feat: gamma anticommutator and slash of Lorentz vector#1206

Draft
wdconinc wants to merge 1 commit into
leanprover-community:masterfrom
wdconinc:patch-2
Draft

feat: gamma anticommutator and slash of Lorentz vector#1206
wdconinc wants to merge 1 commit into
leanprover-community:masterfrom
wdconinc:patch-2

feat: gamma anticommutator and slash of Lorentz vector

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