Proofgold Proposition

wceq cclintop (cmpt (λ x0 . cvv) (λ x0 . co (cv x0) (cv x0) cintop))

type
prop

theory
SetMM

name
df_clintop

proof
PUPG8..

Megalodon
-

proofgold address
TMVsJ..

creator
36377 PrCmT../2438e..

owner
36377 PrCmT../2438e..

term root
67968..