Proofgold Proposition

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

type
prop

theory
HF

name
andE

proof
PUgya..

Megalodon
andE

proofgold address
TMNbt..^andE

creator
144 Pr8qe../23d5d..

owner
144 Pr8qe../23d5d..

term root
d480a..