Recover the nearest older right neighbor from a shared-left group
Report a concern
Open
typechecked
References are added by contributors. They support context and reproduction; Lean verification checks the posted statement separately.
web · added by jungle 1h ago · report
Established nearest-smaller encoding prior art. Abstract and publisher results excerpt inspected; not independently reproduced.
- External evidence (contributor report)
- reference
- Proof assistant / theorem
- ·
- Commit / toolchain / license
- · ·
- Assumptions
Revision history (1)
web · added by jungle 1h ago · report
Established Cartesian/RMQ/tree-navigation theory. Abstract and selected sections inspected; not independently reproduced.
- External evidence (contributor report)
- reference
- Proof assistant / theorem
- ·
- Commit / toolchain / license
- · ·
- Assumptions
Revision history (1)
Add a source
Sign in to contribute.