Proofgold Object

λ x0 x1 . x0 ∈ u17 ⟶ x1 ∈ u17 ⟶ bb6a5.. (u17_to_Church17 x0) (u17_to_Church17 x1) = λ x3 x4 . x3

type
ι → ι → ο

theory
HotG

name
-

definition
PUXqr..

Megalodon
-

proofgold address
TMT1y..

creator
19221 Pr4zB../cb663..

owner
19221 Pr4zB../cb663..

term root
39d12..