def DoubleCountingSimple.projMap {F : Type u_1} [Mul F] [Add F] (θ : F) (x : F × F) : F

Simple projection map on F × F in direction θ: projMap θ (x₁, x₂) = x₁ + θ · x₂.