DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update GroupActions.lean

Browse source
This commit is contained in:
Pietro Monticone 2024-05-20 23:36:36 +02:00
parent 5c8806ee41
commit 90527e7872
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
HepLean/AnomalyCancellation/GroupActions.lean
View file

@ -13,7 +13,7 @@ under which the anomaly equations are invariant.
From this we define From this we define
- The representation acting on the vector space of solutions to the linear ACCs. - The representation acting on the vector space of solutions to the linear ACCs.
- The group action acting on solutions to the linera + quadratic equations. - The group action acting on solutions to the linear + quadratic equations.
- The group action acting on solutions to the anomaly cancellation conditions. - The group action acting on solutions to the anomaly cancellation conditions.
-/ -/