Skip to content

feat: gamma anticommutator and slash of Lorentz vector#1206

Open
wdconinc wants to merge 9 commits into
leanprover-community:masterfrom
wdconinc:patch-2
Open

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