Proofgold Proposition

wn (∀ x0 . wn (wceq (cv x0) (cv x0)))

type
prop

theory
SetMM

name
ax_9d1

proof
PUgtu..

Megalodon
-

proofgold address
TMFUy..

creator
36399 PrCmT../7ceb9..

owner
36399 PrCmT../7ceb9..

term root
ff645..