Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wb (wf1 x0 x1 x2) (wa (wf x0 x1 x2) (wfun (ccnv x2)))

type
prop

theory
SetMM

name
df_f1

proof
PUWab..

Megalodon
-

proofgold address
TMJq2..

creator
36397 PrCmT../5fbc5..

owner
36397 PrCmT../5fbc5..

term root
a8d22..