Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUSS3..

Megalodon
orE_imp

proofgold address
TMNJx..^orE_imp

creator
2311 PrGxv../b465f..

owner
2311 PrGxv../b465f..

term root
f9dad..