Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUeTZ..

Megalodon
orE

proofgold address
TMHng..^orE

creator
316 Pr8qe../b626a..

owner
316 Pr8qe../b626a..

term root
eb8e8..