Proofgold Object

λ x0 . ∀ x1 . x1 ∈ x0 ⟶ ∃ x2 x4 . x1 = lam 2 (λ x7 . If_i (x7 = 0) x2 x4)

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..