Proofgold Proposition

wceq cthl (cmpt (λ x0 . cvv) (λ x0 . co (cfv (cfv (cv x0) ccss) cipo) (cop (cfv cnx coc) (cfv (cv x0) cocv)) csts))

type
prop

theory
SetMM

name
df_thl

proof
PUMpC..

Megalodon
-

proofgold address
TMQrC..

creator
36377 PrCmT../7bf9b..

owner
36377 PrCmT../7bf9b..

term root
bf5e7..