Proofgold Object

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

type
ο → ο → ο → ο

theory
HoTg

name
exactly1of3

definition
PUhdM..

Megalodon
-

proofgold address
TMbHV..

creator
2717 PrGxv../ec5c8..

owner
2717 PrGxv../ec5c8..

term root
aa4bc..