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

feat: Add dependency

Browse source
This commit is contained in:
jstoobysmith 2024-12-03 15:30:47 +00:00
parent fbc3abd83e
commit f82ddc1fc4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
HepLean/PerturbationTheory/Wick/Algebra.lean
View file

@ -48,7 +48,7 @@ informal_definition WickAlgebra where
physics :≈ "This is defined to be an
abstraction of the notion of an operator algebra."
ref :≈ "https://physics.stackexchange.com/questions/24157/"
deps :≈ [``SuperAlgebra]
deps :≈ [``SuperAlgebra, ``SuperAlgebra.superCommuator]
informal_definition WickMonomial where
math :≈ "The type of elements of the Wick algebra which is a product of fields."