Proofgold Proposition

wceq cmufs (crab (λ x0 . wfun (cfv (cv x0) cmst)) (λ x0 . cmgfs))

type
prop

theory
SetMM

name
df_mufs

proof
PUaec..

Megalodon
-

proofgold address
TMKcr..

creator
36385 PrCmT../0c61c..

owner
36385 PrCmT../0c61c..

term root
03d56..