Proofgold Proposition

wceq cims (cmpt (λ x0 . cnv) (λ x0 . ccom (cfv (cv x0) cnmcv) (cfv (cv x0) cnsb)))

type
prop

theory
SetMM

name
df_ims

proof
PUJvY..

Megalodon
-

proofgold address
TMUTn..

creator
36387 PrCmT../5a278..

owner
36387 PrCmT../5a278..

term root
6e1b8..