Proofgold Proposition

not (2 = 1)

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
neq_2_1

proofgold address
TMVpp..^neq_2_1

creator
1473 PrGxv../9c95f..

owner
1473 PrGxv../9c95f..

term root
6cb9d..