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

Megalodon
exactly1of3

proofgold address
TMVfR..^exactly1of3

creator
4882 Pr6Pc../8aa67..

owner
4882 Pr6Pc../8aa67..

term root
aa4bc..