Proofgold Proposition

∀ x0 x1 . ordinal x0 ⟶ ordinal x1 ⟶ or (or (x0 ∈ x1) (x0 = x1)) (x1 ∈ x0)

type
prop

theory
HotG

name
ordinal_trichotomy_or

proof
PUL8Q..

Megalodon
ordinal_trichotomy_or

proofgold address
TMQiH..^{ordinal_trichotomy_or}

creator
4882 Pr6Pc../8267e..

owner
4882 Pr6Pc../8267e..

term root
078a3..