Proofgold Proposition

∀ x0 : ο . (∀ x1 . (∀ x2 : ο . (∀ x3 . and (and (4f2b4.. x3) (69b7e.. x1 x3)) (not (21582.. x1 x3)) ⟶ x2) ⟶ x2) ⟶ x0) ⟶ x0

type
prop

theory
HoTg

name
-

proof
PUK9H..

Megalodon
-

proofgold address
TMYRF..

creator
4803 PrGxv../64d43..

owner
4803 PrGxv../64d43..

term root
499fe..