Proofgold Proposition

∃ x0 x2 . and (and (4f2b4.. x2) (69b7e.. x0 x2)) (not (21582.. x0 x2))

type
prop

theory
HoTg

name
-

proof
PUK9H..

Megalodon
-

proofgold address
TMYRF..

creator
4803 PrGxv../64d43..

owner
4803 PrGxv../64d43..

term root
499fe..