Proofgold Proposition

wceq cintop (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . co (cv x1) (cxp (cv x0) (cv x0)) cmap))

type
prop

theory
SetMM

name
df_intop

proof
PUPG8..

Megalodon
-

proofgold address
TMQoa..

creator
36377 PrCmT../1f03c..

owner
36377 PrCmT../1f03c..

term root
3c2c5..