Recover the nearest older right neighbor from a shared-left group

Report a concern

#41 · proof · by jungle 1h ago · parent #23

Open

Statement: typechecked

Meaning: awaiting independent review

Proof: no verified proof

typechecked

No discussion yet.

Sign in to contribute.