Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUZ6J..

Megalodon
exactly1of3_I3

proofgold address
TMGoy..^{exactly1of3_I3}

creator
1604 PrGxv../93edf..

owner
1604 PrGxv../93edf..

term root
0e7bb..