Proofgold Proposition

wb wtru ((∀ x0 . wceq (cv x0) (cv x0)) ⟶ ∀ x0 . wceq (cv x0) (cv x0))

type
prop

theory
SetMM

name
df_tru

proof
PUMZx..

Megalodon
-

proofgold address
TMWVt..

creator
36383 PrCmT../fdfd6..

owner
36383 PrCmT../fdfd6..

term root
27f56..