Proofgold Object

λ x0 . ∀ x1 : ο . (∀ x2 . and (prim1 x2 48ef8..) (∀ x3 : ο . (∀ x4 . and (and (and (and (∀ x5 . prim1 x5 (4ae4a.. x2) ⟶ 4f2b4.. (f482f.. x4 x5)) (∀ x5 . prim1 x5 x2 ⟶ 21582.. (f482f.. x4 x5) (f482f.. x4 (4ae4a.. x5)))) (∀ x5 . prim1 x5 x2 ⟶ eb6e9.. (df26d.. (f482f.. x4 (4ae4a.. x5)) (f482f.. x4 x5)))) (x0 = f482f.. x4 x2)) (70df3.. (f482f.. x4 4a7ef..)) ⟶ x3) ⟶ x3) ⟶ x1) ⟶ x1

type
ι → ο

theory
HoTg

name
-

definition
PUK9H..

Megalodon
-

proofgold address
TMNh2..

creator
4803 PrGxv../d8de9..

owner
4803 PrGxv../d8de9..

term root
f87dc..