Proofgold Object

λ x0 x1 . x0 ∈ u22 ⟶ x1 ∈ u22 ⟶ 94591.. (55574.. x0) (55574.. x1) = λ x3 x4 . x3

type
ι → ι → ο

theory
HotG

name
-

definition
PUVxk..

Megalodon
-

proofgold address
TMb2r..

creator
31381 Pr4zB../c257e..

owner
31381 Pr4zB../c257e..

term root
77eb1..