Proofgold Proposition

wceq cjn (cmpt (λ x0 . cvv) (λ x0 . coprab (λ x1 x2 x3 . wbr (cpr (cv x1) (cv x2)) (cv x3) (cfv (cv x0) club))))

type
prop

theory
SetMM

name
df_join

proof
PUe9S..

Megalodon
-

proofgold address
TMXt4..

creator
36384 PrCmT../48bda..

owner
36384 PrCmT../48bda..

term root
ab690..