Proofgold Proposition

wceq cchp (cmpt (λ x0 . cr) (λ x0 . csu (co c1 (cfv (cv x0) cfl) cfz) (λ x1 . cfv (cv x1) cvma)))

type
prop

theory
SetMM

name
df_chp

proof
PUMn8..

Megalodon
-

proofgold address
TMFTb..

creator
36377 PrCmT../2e152..

owner
36377 PrCmT../2e152..

term root
c5f4a..