Proofgold Proposition

wceq cpointsN (cmpt (λ x0 . cvv) (λ x0 . cab (λ x1 . wrex (λ x2 . wceq (cv x1) (csn (cv x2))) (λ x2 . cfv (cv x0) catm))))

type
prop

theory
SetMM

name
df_pointsN

proof
PUKLm..

Megalodon
-

proofgold address
TMGDd..

creator
36385 PrCmT../245c8..

owner
36385 PrCmT../245c8..

term root
c6152..