Proofgold Proposition

not (9 = 7)

type
prop

theory
HF

name
-

proof
PUZ6J..

Megalodon
neq_9_7

proofgold address
TMKGY..^neq_9_7

creator
1604 PrGxv../fd9b3..

owner
1604 PrGxv../fd9b3..

term root
2ceb9..