Proofgold Proposition

∀ x0 x1 : ο . x1 ⟶ or x0 x1

type
prop

theory
HF

name
-

proof
PUeTZ..

Megalodon
orIR

proofgold address
TMGmB..^orIR

creator
316 Pr8qe../c0c90..

owner
316 Pr8qe../c0c90..

term root
c2962..