Proofgold Proposition

∀ x0 x1 : ο . x0 ⟶ or x0 x1

type
prop

theory
HF

name
-

proof
PUeTZ..

Megalodon
orIL

proofgold address
TMJux..^orIL

creator
316 Pr8qe../92add..

owner
316 Pr8qe../92add..

term root
7c688..