Proofgold Proposition

wceq cel (cmpt (λ x0 . co chil chil cmap) (λ x0 . cmpt (λ x1 . cfv (cv x0) cei) (λ x1 . co (co (cfv (cv x1) (cv x0)) (cv x1) csp) (co (cfv (cv x1) cno) c2 cexp) cdiv)))

type
prop

theory
SetMM

name
df_eigval

proof
PUUBK..

Megalodon
-

proofgold address
TMctC..

creator
36383 PrCmT../5c1e0..

owner
36383 PrCmT../5c1e0..

term root
028d3..