Proofgold Object

λ x0 x1 . ∀ x2 : ο . (∀ x3 . and (x3 ∈ RealsStruct_Z x0) (∀ x4 : ο . (∀ x5 . and (x5 ∈ RealsStruct_Npos x0) (field2b x0 x5 x1 = x3) ⟶ x4) ⟶ x4) ⟶ x2) ⟶ x2

type
ι → ι → ο

theory
HotG

name
-

definition
PUSVY..

Megalodon
-

proofgold address
TMcag..

creator
5804 Pr6Pc../a21ea..

owner
5804 Pr6Pc../a21ea..

term root
30ad7..