feat: Wick's theorem for normal ordered lists · HEPLean/HepLean@fca3f02

runLinter on HepLean: HepLean/PerturbationTheory/WickContraction/Join.lean#L26

@WickContraction.join definition missing documentation string

runLinter on HepLean: HepLean/PerturbationTheory/WickContraction/Join.lean#L69

@WickContraction.joinLiftLeft definition missing documentation string

runLinter on HepLean: HepLean/PerturbationTheory/WickContraction/Join.lean#L81

@WickContraction.joinLiftRight definition missing documentation string

runLinter on HepLean: HepLean/PerturbationTheory/WickContraction/Join.lean#L119

@WickContraction.joinLift definition missing documentation string

runLinter on HepLean: HepLean/PerturbationTheory/WickContraction/Join.lean#L725

@WickContraction.joinSignRightExtra definition missing documentation string

runLinter on HepLean: HepLean/PerturbationTheory/WickContraction/Join.lean#L734

@WickContraction.joinSignLeftExtra definition missing documentation string

runLinter on HepLean: HepLean/PerturbationTheory/WickContraction/Singleton.lean#L25

@WickContraction.singleton definition missing documentation string

runLinter on HepLean: HepLean/PerturbationTheory/WickContraction/SubContraction.lean#L23

@WickContraction.subContraction definition missing documentation string

runLinter on HepLean: HepLean/PerturbationTheory/WickContraction/SubContraction.lean#L35

@WickContraction.quotContraction definition missing documentation string

runLinter on HepLean: HepLean/PerturbationTheory/WickContraction/TimeSet.lean#L254

@WickContraction.HaveEqTime definition missing documentation string

Provide feedback