Proofgold Proposition

wceq cngp (crab (λ x0 . wss (ccom (cfv (cv x0) cnm) (cfv (cv x0) csg)) (cfv (cv x0) cds)) (λ x0 . cin cgrp cmt))

type
prop

theory
SetMM

name
df_ngp

proof
PUNQ5..

Megalodon
-

proofgold address
TMNZs..

creator
36378 PrCmT../77686..

owner
36378 PrCmT../77686..

term root
e1fb3..