Skip to content

auto-task(TwoHiggsDoublet.potential): TODO for a general 2HDM effective potential - #1312

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
jstoobysmith:auto-todo-20260629-082116
Jul 1, 2026
Merged

auto-task(TwoHiggsDoublet.potential): TODO for a general 2HDM effective potential#1312
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
jstoobysmith:auto-todo-20260629-082116

Update Physlib/Particles/BeyondTheStandardModel/TwoHDM/Potential.lean

49cdeda
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Python based linters
succeeded Jul 1, 2026 in 16s