Proofgold Proposition

wceq crusgr (copab (λ x0 x1 . wa (wcel (cv x0) cusgr) (wbr (cv x0) (cv x1) crgr)))

type
prop

theory
SetMM

name
df_rusgr

proof
PUTey..

Megalodon
-

proofgold address
TMaNs..

creator
36383 PrCmT../9fd55..

owner
36383 PrCmT../9fd55..

term root
ed495..