Proofgold Proposition

∀ x0 x1 . ordinal x0 ⟶ ordinal x1 ⟶ or (x0 ⊆ x1) (x1 ⊆ x0)

type
prop

theory
HotG

name
ordinal_linear

proof
PUL8Q..

Megalodon
ordinal_linear

proofgold address
TMM2d..^{ordinal_linear}

creator
4882 Pr6Pc../feefa..

owner
4882 Pr6Pc../feefa..

term root
3f30a..