Proofgold Proposition

wceq cno (cmpt (λ x0 . cdm (cdm csp)) (λ x0 . cfv (co (cv x0) (cv x0) csp) csqrt))

type
prop

theory
SetMM

name
df_hnorm

proof
PUZX6..

Megalodon
-

proofgold address
TMPu6..

creator
36383 PrCmT../c82c0..

owner
36383 PrCmT../c82c0..

term root
f5ed7..