Proofgold Proposition

∃ x0 : ι → ι → ο . and (stricttotalorder x0) (∀ x2 : ι → ο . (∃ x3 . x2 x3) ⟶ ∃ x3 . and (x2 x3) (∀ x5 . and (x2 x5) (x5 = x3 ⟶ ∀ x6 : ο . x6) ⟶ x0 x3 x5))

type
prop

theory
HoTg

name
Zermelo_WO_strict

proof
PUhdM..

Megalodon
-

proofgold address
TMbmU..

creator
2717 PrGxv../3b925..

owner
2717 PrGxv../3b925..

term root
77cb5..