Proofgold Proposition

wceq cedg (cmpt (λ x0 . cvv) (λ x0 . crn (cfv (cv x0) ciedg)))

type
prop

theory
SetMM

name
df_edg

proof
PUbPn..

Megalodon
-

proofgold address
TMRao..

creator
36387 PrCmT../ea9f3..

owner
36387 PrCmT../ea9f3..

term root
b1a4d..