Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wb (wfo x0 x1 x2) (wa (wfn x2 x0) (wceq (crn x2) x1))

type
prop

theory
SetMM

name
df_fo

proof
PUWab..

Megalodon
-

proofgold address
TMdiy..

creator
36397 PrCmT../0a8c8..

owner
36397 PrCmT../0a8c8..

term root
9ca71..