Proofgold Proposition

∀ x0 : ι → ο . wceq (cword x0) (cab (λ x1 . wrex (λ x2 . wf (co cc0 (cv x2) cfzo) x0 (cv x1)) (λ x2 . cn0)))

type
prop

theory
SetMM

name
df_word

proof
PUgqy..

Megalodon
-

proofgold address
TMZdK..

creator
36396 PrCmT../56175..

owner
36396 PrCmT../56175..

term root
9c484..