Skip to content

feat: Add lepton doublets (Stacked on #1416)#1430

Open
nateabr wants to merge 10 commits into
leanprover-community:masterfrom
nateabr:leptondoublet
Open

feat: Add lepton doublets (Stacked on #1416)#1430
nateabr wants to merge 10 commits into
leanprover-community:masterfrom
nateabr:leptondoublet

docs(standard-model): remove completed lepton doublet TODO

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

Annotations

1 warning and 1 notice
Add topic label
succeeded Jul 16, 2026 in 1m 29s