Proofgold Proposition

∃ x0 : ι → ι → ο . and (totalorder x0) (∀ x2 : ι → ο . (∃ x3 . x2 x3) ⟶ ∃ x3 . and (x2 x3) (∀ x5 . x2 x5 ⟶ x0 x3 x5))

type
prop

theory
HoTg

name
Zermelo_WO

proof
PUhdM..

Megalodon
-

proofgold address
TMHJt..

creator
2717 PrGxv../c502d..

owner
2717 PrGxv../c502d..

term root
d37c8..