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

chore: Add Wick theorem file

Browse source
This commit is contained in:
jstoobysmith 2024-12-02 08:03:18 +00:00
parent c4a3211e3f
commit 1e53c15999
2 changed files with 19 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

18
HepLean/FeynmanDiagrams/Wick/Theorem.lean Normal file
View file

@ -0,0 +1,18 @@
/-
Copyright (c) 2024 Joseph Tooby-Smith. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Joseph Tooby-Smith
-/
import HepLean.FeynmanDiagrams.Wick.Species
/-!
# Wick's theorem
-/
namespace Wick
open CategoryTheory
open FeynmanDiagram
open PreFeynmanRule
end Wick