Proofgold Proposition

wceq cph (cmpt2 (λ x0 x1 . csh) (λ x0 x1 . csh) (λ x0 x1 . cima cva (cxp (cv x0) (cv x1))))

type
prop

theory
SetMM

name
df_shs

proof
PUL5f..

Megalodon
-

proofgold address
TMNbg..

creator
36387 PrCmT../cc8b6..

owner
36387 PrCmT../cc8b6..

term root
b58ce..