Proofgold Proposition

wceq cat (crab (λ x0 . wbr c0h (cv x0) ccv) (λ x0 . cch))

type
prop

theory
SetMM

name
df_at

proof
PUeuA..

Megalodon
-

proofgold address
TMPTN..

creator
36386 PrCmT../74be0..

owner
36386 PrCmT../74be0..

term root
681ee..