I.D43 — Split-CR Equations

The split-complex Cauchy-Riemann equations: dU/da = dV/db and dU/db = dV/da. In sector coordinates: dF+/dv = 0 and dF-/du = 0. Formalized as has_split_cr_form predicate.