Published paper
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- Horospherical–parabolic identification · journal p. 302, unnumbered preliminary discussionIdentifies the expanding horospherical subgroup with the unipotent radical of the parabolic used to choose .
AI-generated audit
Audit summary
Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.
No audit has been generated for this published version.