Proofgold Proposition

wceq cdg1 (cmpt (λ x0 . cvv) (λ x0 . co c1o (cv x0) cmdg))

type
prop

theory
SetMM

name
df_deg1

proof
PUhRH..

Megalodon
-

proofgold address
TMK5d..

creator
36386 PrCmT../4ce6f..

owner
36386 PrCmT../4ce6f..

term root
d9bb1..