Remark 2.7 . [059H]
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
Remark 2.7.
If is trivial i.e. only if for some stratum of then it is an immediate consequence from the construction that .