Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
Lemma 4.5.
Suppose , and are snc models, with
dominating and dominating .
Let be a simplex of , and let be the
smallest simplex of containing .
Then is active for iff is active for
and is active for .
As a consequence, .