Documentation Verification Report

StaticWickTheorem

📁 Source: PhysLean/QFT/PerturbationTheory/WickAlgebra/StaticWickTheorem.lean

Statistics

MetricCount
Definitions0
Theoremsstatic_wick_theorem
1
Total1

FieldSpecification.WickAlgebra

Theorems

NameKindAssumesProvesValidatesDepends On
static_wick_theorem 📖mathematicalofFieldOpList
WickContraction
FieldSpecification.FieldOp
FieldSpecification.WickAlgebra
FieldSpecification.FieldOpFreeAlgebra
FieldSpecification.CrAnFieldOp
FieldSpecification.fieldOpIdealSet
WickContraction.fintype_succ
WickContraction.staticWickTerm
WickContraction.sum_WickContraction_nil
WickContraction.staticWickTerm_empty_nil
ofFieldOpList_cons
WickContraction.insertLift_sum
WickContraction.mul_staticWickTerm_eq_sum

---

← Back to Index