lisa icon indicating copy to clipboard operation
lisa copied to clipboard

Published 20 hours ago • verified publisher icon epfl-lara

Orders on Ordinals

Open sankalpgambhir opened this issue 1 year ago • 0 comments

Finishing up proofs about inclusion orders, on ordinals and otherwise.

WIP

sankalpgambhir avatar Feb 20 '24 16:02 sankalpgambhir