Proofgold Proposition

∀ x0 x1 . x0 = x1 ⟶ x1 = x0

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
eq_sym_i

proofgold address
TMPPR..^eq_sym_i

creator
1473 PrGxv../19ce5..

owner
1473 PrGxv../19ce5..

term root
cf6cb..