Proofgold Object

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

type
ο → ο → ο

theory
HoTg

name
exactly1of2

definition
PUhdM..

Megalodon
-

proofgold address
TMakB..

creator
2717 PrGxv../1c0f6..

owner
2717 PrGxv../1c0f6..

term root
16360..