auto-task(StandardModel.Representations): record TODO for Standard Model fermion content as left-handed Weyl fermions - #1322

auto-task(StandardModel.Representations): record TODO for Standard Model fermion content as left-handed Weyl fermions#1322

jstoobysmith merged 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

jstoobysmith:auto-todo-20260629-151141jstoobysmith/JTSphyslib:auto-todo-20260629-151141Copy head branch name to clipboard