Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wb (wf1o x0 x1 x2) (wa (wf1 x0 x1 x2) (wfo x0 x1 x2))

type
prop

theory
SetMM

name
df_f1o

proof
PUWab..

Megalodon
-

proofgold address
TMLHy..

creator
36397 PrCmT../043bc..

owner
36397 PrCmT../043bc..

term root
d2132..