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
PUdWB..

Megalodon
-

proofgold address
TMWz7..

creator
2791 PrGxv../73b51..

owner
2791 PrGxv../73b51..

term root
66440..