Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_9d2

proof
PUXbo..

Megalodon
-

proofgold address
TMPpg..

creator
36397 PrCmT../64005..

owner
36397 PrCmT../64005..

term root
09adb..