Proofgold Proposition

wceq crrx (cmpt (λ x0 . cvv) (λ x0 . cfv (co crefld (cv x0) cfrlm) ctch))

type
prop

theory
SetMM

name
df_rrx

proof
PUa4n..

Megalodon
-

proofgold address
TMaSK..

creator
36386 PrCmT../31368..

owner
36386 PrCmT../31368..

term root
f9478..