Proofgold Proposition

∀ x0 : ι → ο . wb (word x0) (wa (wtr x0) (wwe x0 cep))

type
prop

theory
SetMM

name
df_ord

proof
PUaCV..

Megalodon
-

proofgold address
TMQfd..

creator
36396 PrCmT../262d3..

owner
36396 PrCmT../262d3..

term root
23035..