Proofgold Proposition

wceq cgob (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . co (co (cv x0) (cv x1) cgoi) (co (cv x1) (cv x0) cgoi) cgoa))

type
prop

theory
SetMM

name
df_gobi

proof
PUfj2..

Megalodon
-

proofgold address
TMdgE..

creator
36377 PrCmT../0bd58..

owner
36377 PrCmT../0bd58..

term root
a75d7..