Proofgold Proposition

∀ x0 : ο . or x0 (not x0)

type
prop

theory
HF

name
-

proof
PUeTZ..

Megalodon
xm

proofgold address
TMdPB..^xm

creator
316 Pr8qe../24566..

owner
316 Pr8qe../24566..

term root
067bf..