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

chore: Rename wick ring to wick algebra

Browse source
This commit is contained in:
jstoobysmith 2024-11-25 10:13:24 +00:00
parent d8b6aa0cbb
commit 5f1cce9b82
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
HepLean/FeynmanDiagrams/Wick/Ring.lean → HepLean/FeynmanDiagrams/Wick/Algebra.lean
View file

@ -5,7 +5,8 @@ Authors: Joseph Tooby-Smith
-/
import HepLean.FeynmanDiagrams.Basic
/-!
# Operator ring
# Operator algebra
Currently this file is only for an example of Wick strings, correpsonding to a
theory with two complex scalar fields. The concepts will however generalize.