Proofgold Object

λ x0 . prim0 (λ x1 . and (SNo x1) (∀ x2 : ο . (∀ x3 . and (SNo x3) (x0 = ad280.. x1 x3) ⟶ x2) ⟶ x2))

type
ι → ι

theory
HotG

name
-

definition
PUN7o..

Megalodon
-

proofgold address
TMLVA..

creator
28161 PrQUS../8ecdb..

owner
28161 PrQUS../8ecdb..

term root
32eb0..