Proofgold Proposition

∀ x0 : ι → ο . wb (wfun x0) (wa (wrel x0) (wss (ccom x0 (ccnv x0)) cid))

type
prop

theory
SetMM

name
df_fun

proof
PUaCV..

Megalodon
-

proofgold address
TMNG3..

creator
36396 PrCmT../2ca43..

owner
36396 PrCmT../2ca43..

term root
ad561..