Proofgold Proposition

wceq cei (cmpt (λ x0 . co chil chil cmap) (λ x0 . crab (λ x1 . wrex (λ x2 . wceq (cfv (cv x1) (cv x0)) (co (cv x2) (cv x1) csm)) (λ x2 . cc)) (λ x1 . cdif chil c0h)))

type
prop

theory
SetMM

name
df_eigvec

proof
PUUBK..

Megalodon
-

proofgold address
TMXJV..

creator
36383 PrCmT../b7a90..

owner
36383 PrCmT../b7a90..

term root
c0753..