Proofgold Proposition

wceq ccss (cmpt (λ x0 . cvv) (λ x0 . cab (λ x1 . wceq (cv x1) (cfv (cfv (cv x1) (cfv (cv x0) cocv)) (cfv (cv x0) cocv)))))

type
prop

theory
SetMM

name
df_css

proof
PUMpC..

Megalodon
-

proofgold address
TMEyw..

creator
36377 PrCmT../7db2b..

owner
36377 PrCmT../7db2b..

term root
3f0c1..