auto-task(EffectivePotential): TODO to make Higgs potential polynomial basis-independent#1321

jstoobysmith wants to merge 2 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

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