Proofgold Object

λ x0 x1 x2 . λ x3 x4 : ι → ι → ι . λ x5 : ι → ι → ο . λ x6 . ∃ x7 x9 . and (and (natOfOrderedField_p x0 x1 x2 x3 x4 x5 x7) (natOfOrderedField_p x0 x1 x2 x3 x4 x5 x9)) (x4 x9 x6 = x7)

type
ι → ι → ι → (ι → ι → ι) → (ι → ι → ι) → (ι → ι → ο) → ι → ο

theory
HotG

name
-

definition
PUaSr..

Megalodon
-

proofgold address
TMZD3..

creator
23745 Pr5Zc../9c5fe..

owner
23745 Pr5Zc../9c5fe..

term root
22d50..