Proofgold Proposition

wceq c2nd (cmpt (λ x0 . cvv) (λ x0 . cuni (crn (csn (cv x0)))))

type
prop

theory
SetMM

name
df_2nd

proof
PUWab..

Megalodon
-

proofgold address
TMPE7..

creator
36397 PrCmT../a2ddb..

owner
36397 PrCmT../a2ddb..

term root
05f31..