Proofgold Object

λ x0 . ∀ x1 . x1 ∈ x0 ⟶ ∀ x2 : ο . (∀ x3 . (∀ x4 : ο . (∀ x5 . x1 = lam 2 (λ x7 . If_i (x7 = 0) x3 x5) ⟶ x4) ⟶ x4) ⟶ x2) ⟶ x2

type
ι → ο

theory
HotG

name
set_of_pairs

definition
PUdQg..

Megalodon
set_of_pairs

proofgold address
TMGXX..^set_of_pairs

creator
4899 Pr6Pc../4dc53..

owner
4899 Pr6Pc../4dc53..

term root
f0b1c..