Proofgold Proposition

∀ x0 x1 : ι → ο . ∀ x2 . ordinal x2 ⟶ or (or (PNoLt_ x2 x0 x1) (PNoEq_ x2 x0 x1)) (PNoLt_ x2 x1 x0)

type
prop

theory
HotG

name
PNoLt_trichotomy_or_

proof
PUQ2Y..

Megalodon
PNoLt_trichotomy_or_

proofgold address
TMdzU..^{PNoLt_trichotomy_or_}

creator
4903 Pr6Pc../33bce..

owner
4903 Pr6Pc../33bce..

term root
66440..