Proofgold Proposition

wceq cprv (copab (λ x0 x1 . wceq (co (cv x0) (cv x1) csate) (co (cv x0) com cmap)))

type
prop

theory
SetMM

name
df_prv

proof
PUfj2..

Megalodon
-

proofgold address
TMK8B..

creator
36377 PrCmT../b73fc..

owner
36377 PrCmT../b73fc..

term root
587d0..