Proofgold Proposition

wceq cqus (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . co (cmpt (λ x2 . cfv (cv x0) cbs) (λ x2 . cec (cv x2) (cv x1))) (cv x0) cimas))

type
prop

theory
SetMM

name
df_qus

proof
PULKN..

Megalodon
-

proofgold address
TMEyo..

creator
36388 PrCmT../ad19c..

owner
36388 PrCmT../ad19c..

term root
0d4d6..