Lemma 3.13 . [027F]
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 3.13.
For and such that both and are generated by global sections,
we have the following:
- (1)
on .
- (2)
for .
- (3)
If , then
on .