Proofgold Proposition

wceq cnrg (crab (λ x0 . wcel (cfv (cv x0) cnm) (cfv (cv x0) cabv)) (λ x0 . cngp))

type
prop

theory
SetMM

name
df_nrg

proof
PUQGM..

Megalodon
-

proofgold address
TMXoM..

creator
36385 PrCmT../bcd1c..

owner
36385 PrCmT../bcd1c..

term root
4aff2..