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

Megalodon
Zermelo_WO

proofgold address
TMXrj..^Zermelo_WO

creator
4890 Pr6Pc../39d36..

owner
4890 Pr6Pc../39d36..

term root
d37c8..