Proofgold Proposition

∀ x0 x1 : ο . x0 ⟶ x1 ⟶ and x0 x1

type
prop

theory
HF

name
-

proof
PUeTZ..

Megalodon
andI

proofgold address
TMFTA..^andI

creator
316 Pr8qe../13a34..

owner
316 Pr8qe../13a34..

term root
389e2..