IV.D569 — Transition Surface

A transition surface in D is a codimension-1 submanifold on which one of the binary predicates of Theorem...