Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
PNoLt_trichotomy_or_

proofgold address
TMWPq..^{PNoLt_trichotomy_or_}

creator
1889 PrGxv../c9621..

owner
1889 PrGxv../c9621..

term root
c5e1f..