Proofgold Proposition

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

type
prop

theory
SetMM

name
df_meet

proof
PUe9S..

Megalodon
-

proofgold address
TMKtf..

creator
36384 PrCmT../51952..

owner
36384 PrCmT../51952..

term root
caa0a..