Skip to content

refactor: Higgs GaugeGroupI action to a Representation - #1489

Merged
jstoobysmith merged 3 commits into
leanprover-community:masterfrom
doxtor6:higgs-rep-representation
Aug 5, 2026
Merged

refactor: Higgs GaugeGroupI action to a Representation#1489
jstoobysmith merged 3 commits into
leanprover-community:masterfrom
doxtor6:higgs-rep-representation

fix: drop the redundant inverse-cancellation simp lemmas

03c13ce
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Lean based style linters
succeeded Aug 5, 2026 in 7m 41s