Two-edge specialization of finite simplex-sector conversion

theorem BKAR.Forest.orderedContribution_pair_eq_orderedCubeSectorContribution {V : Type u_1} [Fintype V] [DecidableEq V] (F : Forest V) {e₁ e₂ : Edge V} (horder : [e₁, e₂] ∈ F.edgeOrders) (ρ : (Edge V → ℝ) → ℝ) (hρ : BKARContDiff ρ) : F.orderedContribution [e₁, e₂] ρ = F.orderedCubeSectorContribution [e₁, e₂] ρ

The two-edge conversion is the corresponding instance of finite-order conversion.