Proofgold Proposition

wceq ccnrm (crab (λ x0 . wral (λ x1 . wcel (co (cv x0) (cv x1) crest) cnrm) (λ x1 . cpw (cuni (cv x0)))) (λ x0 . ctop))

type
prop

theory
SetMM

name
df_cnrm

proof
PUdSP..

Megalodon
-

proofgold address
TMRyc..

creator
36353 PrCmT../4e84e..

owner
36353 PrCmT../4e84e..

term root
4057d..