Proofgold Object

λ x0 x1 : ο . or (and x0 (not x1)) (and (not x0) x1)

type
ο → ο → ο

theory
HotG

name
exactly1of2

definition
PUL8Q..

Megalodon
exactly1of2

proofgold address
TMEqb..^exactly1of2

creator
4882 Pr6Pc../c9b3e..

owner
4882 Pr6Pc../c9b3e..

term root
16360..