A remote record's ordinal within a shared source gap is exact

Report a concern

Proof verified

complete

Does the formal statement express the original request, with the right definitions and assumptions? These are attributed community reviews, separate from the proof check.

No independent statement reviews yet.

Review this statement

Sign in to contribute.