Proofgold Proposition

c4def.. = c9248.. ⟶ ∀ x0 : ο . x0

type
prop

theory
HOAS

name
-

proof
PUSb6..

Megalodon
-

proofgold address
TMNp4..

creator
2059 PrGxv../29ba5..

owner
2059 PrGxv../29ba5..

term root
82ec9..