Proofgold Proposition

wceq cnq (crab (λ x0 . wral (λ x1 . wbr (cv x0) (cv x1) ceq ⟶ wn (wbr (cfv (cv x1) c2nd) (cfv (cv x0) c2nd) clti)) (λ x1 . cxp cnpi cnpi)) (λ x0 . cxp cnpi cnpi))

type
prop

theory
SetMM

name
df_nq

proof
PUc2k..

Megalodon
-

proofgold address
TMYQc..

creator
36396 PrCmT../4ace6..

owner
36396 PrCmT../4ace6..

term root
c40c9..