Proofgold Proposition

wceq clh (cmpt (λ x0 . cvv) (λ x0 . crab (λ x1 . wbr (cv x1) (cfv (cv x0) cp1) (cfv (cv x0) ccvr)) (λ x1 . cfv (cv x0) cbs)))

type
prop

theory
SetMM

name
df_lhyp

proof
PUM2G..

Megalodon
-

proofgold address
TMVWZ..

creator
36387 PrCmT../4f96a..

owner
36387 PrCmT../4f96a..

term root
011b9..