Proofgold Proposition

wceq crrv (cmpt (λ x0 . cprb) (λ x0 . co (cdm (cv x0)) cbrsiga cmbfm))

type
prop

theory
SetMM

name
df_rrv

proof
PURJe..

Megalodon
-

proofgold address
TMSAz..

creator
36388 PrCmT../de59e..

owner
36388 PrCmT../de59e..

term root
8acbb..