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

Open

nateabr wants to merge 10 commits into

leanprover-community:masterfrom

nateabr:leptondoublet

Commits on Jul 7, 2026

feat: Add action of gauge group on Quark Doublets
jstoobysmith
committed

Commits on Jul 10, 2026

Update QuarkDoublet.lean
jstoobysmith
committed

Commits on Jul 13, 2026

feat: Add up singlet quarks
jstoobysmith
committed

Commits on Jul 14, 2026

fix: Title
jstoobysmith
committed

Commits on Jul 16, 2026

feat(standard-model): add lepton doublet representations

nateabr
and
Claude Opus 4.8
committed
docs(standard-model): remove completed lepton doublet TODO

nateabr
and
Claude Opus 4.8
committed