Proofgold Proposition

wceq c1st (cmpt (λ x0 . cvv) (λ x0 . cuni (cdm (csn (cv x0)))))

type
prop

theory
SetMM

name
df_1st

proof
PUWab..

Megalodon
-

proofgold address
TMbCA..

creator
36397 PrCmT../db706..

owner
36397 PrCmT../db706..

term root
b86ba..