Proofgold Proposition

wceq csquarenn (crab (λ x0 . wcel (cfv (cv x0) csqrt) cq) (λ x0 . cn))

type
prop

theory
SetMM

name
df_squarenn

proof
PUbMc..

Megalodon
-

proofgold address
TMSxU..

creator
36387 PrCmT../c4cb1..

owner
36387 PrCmT../c4cb1..

term root
48957..