Proofgold Proposition

wceq carw (cmpt (λ x0 . ccat) (λ x0 . cuni (crn (cfv (cv x0) choma))))

type
prop

theory
SetMM

name
df_arw

proof
PUdJh..

Megalodon
-

proofgold address
TMPYX..

creator
36384 PrCmT../81f62..

owner
36384 PrCmT../81f62..

term root
f25a0..