Proofgold Proposition

∀ x0 : ι → ο . wceq x0 x0

type
prop

theory
SetMM

name
ax_frege54c

proof
PUQPq..

Megalodon
-

proofgold address
TMFPi..

creator
36399 PrCmT../f5927..

owner
36399 PrCmT../f5927..

term root
4eab8..