Research proof index

The following signs for a grading compliant Wick contraction are equal: - The sign φsΛ.signInsertNone φ φs i which is given by the following: For each contracted pair {a1, a2} in φsΛ if a1 < a2 such that i is within the range a1 < i < a2 we pick up a sign equal to 𝓢(φ, φs[a2]). - The sign got by moving φ through φ₀…φᵢ₋₁ and only picking...