Proofgold Proposition

wceq cphi (cmpt (λ x0 . cn) (λ x0 . cfv (crab (λ x1 . wceq (co (cv x1) (cv x0) cgcd) c1) (λ x1 . co c1 (cv x0) cfz)) chash))

type
prop

theory
SetMM

name
df_phi

proof
PUfy1..

Megalodon
-

proofgold address
TMaA6..

creator
36387 PrCmT../2f04f..

owner
36387 PrCmT../2f04f..

term root
0db48..