Proofgold Proposition

∀ x0 x1 : ο . exactly1of2 x0 x1 ⟶ not x0 ⟶ x1

type
prop

theory
HoTg

name
exactly1of2_nimp12

proof
PUhdM..

Megalodon
-

proofgold address
TMSZx..

creator
2717 PrGxv../f2711..

owner
2717 PrGxv../f2711..

term root
0fb71..