Proofgold Proposition

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

type
prop

theory
HoTg

name
ordinal_linear

proof
PUKG7..

Megalodon
-

proofgold address
TMJhj..

creator
2750 PrGxv../a1bac..

owner
2750 PrGxv../a1bac..

term root
3f30a..