feat: gamma anticommutator and slash of Lorentz vector#1206

wdconinc wants to merge 9 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

wdconinc:patch-2wdconinc/physlib:patch-2Copy head branch name to clipboard