Proofgold Proposition

wceq cassintop (cmpt (λ x0 . cvv) (λ x0 . crab (λ x1 . wbr (cv x1) (cv x0) casslaw) (λ x1 . cfv (cv x0) cclintop)))

type
prop

theory
SetMM

name
df_assintop

proof
PUPG8..

Megalodon
-

proofgold address
TMQAj..

creator
36377 PrCmT../f876e..

owner
36377 PrCmT../f876e..

term root
7666a..