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

feat: add todo item about VEVs

Browse source
This commit is contained in:
jstoobysmith 2024-11-29 11:20:37 +00:00
parent be1eae085a
commit bf4953187e
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
HepLean/FeynmanDiagrams/Wick/Algebra.lean
View file

@ -100,4 +100,5 @@ informal_lemma timeOrder_pair where
deps :≈ [``WickAlgebra, ``WickMonomial.timeOrder, ``WickMonomial.normalOrder,
``contraction]
/-! TODO: Need to set up data and structure for vaccum expectation values. -/
end TwoComplexScalar