Proofgold Proposition

wceq cfsupp (copab (λ x0 x1 . wa (wfun (cv x0)) (wcel (co (cv x0) (cv x1) csupp) cfn)))

type
prop

theory
SetMM

name
df_fsupp

proof
PUQ2W..

Megalodon
-

proofgold address
TMX4P..

creator
36396 PrCmT../1eacc..

owner
36396 PrCmT../1eacc..

term root
035d1..