Proofgold Proposition

wceq cgna (cmpt (λ x0 . cxp cvv cvv) (λ x0 . cop c1o (cv x0)))

type
prop

theory
SetMM

name
df_gona

proof
PUfj2..

Megalodon
-

proofgold address
TMSrE..

creator
36377 PrCmT../5aceb..

owner
36377 PrCmT../5aceb..

term root
c3c42..