Proofgold Proposition

wceq cfusgr (crab (λ x0 . wcel (cfv (cv x0) cvtx) cfn) (λ x0 . cusgr))

type
prop

theory
SetMM

name
df_fusgr

proof
PUTey..

Megalodon
-

proofgold address
TMZeZ..

creator
36383 PrCmT../6153e..

owner
36383 PrCmT../6153e..

term root
d6d83..