Open sankalpgambhir opened 7 months ago
Finishing up proofs about inclusion orders, on ordinals and otherwise.
WIP
Finishing up proofs about inclusion orders, on ordinals and otherwise.
WIP