Proofgold Proposition

∀ x0 x1 x2 : ο . (x0 ⟶ x2) ⟶ (x1 ⟶ x2) ⟶ or x0 x1 ⟶ x2

type
prop

theory
HoTg

name
orE

proof
PUdeW..

Megalodon
-

proofgold address
TMVwV..

creator
1652 PrGxv../1e33b..

owner
1652 PrGxv../1e33b..

term root
5af08..