Proofgold Proposition

wceq clnr (crab (λ x0 . wcel (cfv (cv x0) crglmod) clnm) (λ x0 . crg))

type
prop

theory
SetMM

name
df_lnr

proof
PUbMc..

Megalodon
-

proofgold address
TMFJM..

creator
36387 PrCmT../efa19..

owner
36387 PrCmT../efa19..

term root
ea1ee..