Proofgold Proposition

wceq c1p (cab (λ x0 . wbr (cv x0) c1q cltq))

type
prop

theory
SetMM

name
df_1p

proof
PUc2k..

Megalodon
-

proofgold address
TMXvq..

creator
36396 PrCmT../db2b8..

owner
36396 PrCmT../db2b8..

term root
4e530..