Proofgold Proposition

wceq cba (cmpt (λ x0 . cvv) (λ x0 . crn (cfv (cv x0) cpv)))

type
prop

theory
SetMM

name
df_ba

proof
PUJvY..

Megalodon
-

proofgold address
TMHjW..

creator
36387 PrCmT../bb8da..

owner
36387 PrCmT../bb8da..

term root
a7aa0..