Proofgold Proposition

∀ x0 x1 x2 : ο . exactly1of3 x0 x1 x2 ⟶ x0 ⟶ not x2

type
prop

theory
HotG

name
exactly1of3_impn13

proof
PUL8Q..

Megalodon
exactly1of3_impn13

proofgold address
TMKWE..^{exactly1of3_impn13}

creator
4882 Pr6Pc../ff6fc..

owner
4882 Pr6Pc../ff6fc..

term root
61082..