Proofgold Proposition

wceq comu (cmpt2 (λ x0 x1 . con0) (λ x0 x1 . con0) (λ x0 x1 . cfv (cv x1) (crdg (cmpt (λ x2 . cvv) (λ x2 . co (cv x2) (cv x0) coa)) c0)))

type
prop

theory
SetMM

name
df_omul

proof
PUR6R..

Megalodon
-

proofgold address
TMJtr..

creator
36396 PrCmT../f086d..

owner
36396 PrCmT../f086d..

term root
9aaf3..