Published paper
Abstract
Proposition 2.7 supplies the conull stable-central-unstable product cell used for Shi's thickening integration formula.
Role in dependence graphs
Proof-critical source
Bounded trajectories of quasi-rays
This paper is included only for the following marked statement:
- Proposition 2.7 · §2, Proposition 2.7Stable-central-unstable multiplication for a class- element is a diffeomorphism onto an open conull cell, giving Shi Lemma 4.1 and integration formula (4.1).
Proof-critical source
Submanifold-genericity of $\mathbb{R}^d$-actions and uniform multiplicative Diophantine approximation
This paper is included only for the following marked statement:
- Proposition 2.7 · §2, Proposition 2.7Stable-central-unstable multiplication as a diffeomorphism onto an open conull cell.
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.