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

Test: Workflow with build fail

Browse source
This commit is contained in:
jstoobysmith 2024-05-14 11:15:46 -04:00
parent edac61d967
commit a7f18b5001
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

@ -51,7 +51,7 @@ def linSolMap {χ : ACCSystem} (G : ACCSystemGroupAction χ) (g : G.group) :
exact (G.rep g).map_add' _ _
map_smul' a S := by
apply ACCSystemLinear.LinSols.ext
exact (G.rep g).map_smul' _ _
/-- The representation acting on the vector space of solutions to the linear ACCs. -/
@[simps!]