Proofgold Proposition

wceq cgoe (cmpt (λ x0 . cxp com com) (λ x0 . cop c0 (cv x0)))

type
prop

theory
SetMM

name
df_goel

proof
PUfj2..

Megalodon
-

proofgold address
TMTHy..

creator
36377 PrCmT../27731..

owner
36377 PrCmT../27731..

term root
cf91e..