Lean repository linked

Absence of bounded-orbit wandering domains

Nikolai Prochorov, Lasse Rempe, James Waterman · 2026

arXiv:2609.28279 · arXiv

Lean formalisations (1)

LR-UK/Bounded-orbit-wandering-domains at `6e306deb8169`

Linked by the repository’s formalization.yaml.

Project review: self-assessed

Audit: awaiting publication.

Report this listing