Proofgold Proposition

∀ x0 : ο . (∀ x1 . and (707bb.. 8ac9a.. x1) (∀ x2 . d701e.. (de327.. 8ac9a.. x2) (57d6a.. x1 x2) x2) ⟶ x0) ⟶ x0

type
prop

theory
HOAS

name
-

proof
PURWg..

Megalodon
-

proofgold address
TMUWd..

creator
1839 PrGxv../0461d..

owner
1844 PrGxv../de294..

term root
9483e..