Proofgold Object

λ x0 x1 . ∃ x2 . and (x2 ∈ RealsStruct_Z x0) (∃ x4 . and (x4 ∈ RealsStruct_Npos x0) (field2b x0 x4 x1 = x2))

type
ι → ι → ο

theory
HotG

name
-

definition
PUSVY..

Megalodon
-

proofgold address
TMcag..

creator
5804 Pr6Pc../a21ea..

owner
5804 Pr6Pc../a21ea..

term root
30ad7..