Proofgold Proposition

∃ x0 . and (707bb.. 8ac9a.. x0) (∀ x2 . d701e.. (de327.. 8ac9a.. x2) (57d6a.. x0 x2) x2)

type
prop

theory
HOAS

name
-

proof
PURWg..

Megalodon
-

proofgold address
TMUWd..

creator
1839 PrGxv../0461d..

owner
1844 PrGxv../de294..

term root
9483e..