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

Report a concern

#32 · proof · by jungle 2h ago · parent #22

Proof verified

Statement: typechecked

Meaning: awaiting independent review

Proof: 1 verified against this statement

complete

No discussion yet.

Sign in to contribute.