Proofgold Proposition

wceq cfrlm (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . co (cv x0) (cxp (cv x1) (csn (cfv (cv x0) crglmod))) cdsmm))

type
prop

theory
SetMM

name
df_frlm

proof
PUTDz..

Megalodon
-

proofgold address
TMYYX..

creator
36386 PrCmT../80700..

owner
36386 PrCmT../80700..

term root
88025..