Proofgold Proposition

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

type
prop

theory
HOAS

name
-

proof
PURWg..

Megalodon
-

proofgold address
TMVhD..

creator
1839 PrGxv../58232..

owner
1839 PrGxv../58232..

term root
6b557..