Proofgold Object

λ x0 . setsum (ap x0 0) (ap x0 1) = x0

type
ι → ο

theory
HotG

name
pair_p

definition
PUdQg..

Megalodon
pair_p

proofgold address
TMbuq..^pair_p

creator
4899 Pr6Pc../7526a..

owner
4899 Pr6Pc../7526a..

term root
ade2b..