Proofgold Proposition

wceq clvec (crab (λ x0 . wcel (cfv (cv x0) csca) cdr) (λ x0 . clmod))

type
prop

theory
SetMM

name
df_lvec

proof
PUN9o..

Megalodon
-

proofgold address
TMNNB..

creator
36376 PrCmT../69584..

owner
36376 PrCmT../69584..

term root
61702..