Proofgold Proposition

wceq catm (cmpt (λ x0 . cvv) (λ x0 . crab (λ x1 . wbr (cfv (cv x0) cp0) (cv x1) (cfv (cv x0) ccvr)) (λ x1 . cfv (cv x0) cbs)))

type
prop

theory
SetMM

name
df_ats

proof
PUKLm..

Megalodon
-

proofgold address
TMXkW..

creator
36385 PrCmT../82344..

owner
36385 PrCmT../82344..

term root
6f0af..