Proofgold Proposition

∀ x0 x1 : ι → ο . wceq (cpr x0 x1) (cun (csn x0) (csn x1))

type
prop

theory
SetMM

name
df_pr

proof
PUJyx..

Megalodon
-

proofgold address
TMWtG..

creator
36396 PrCmT../15f02..

owner
36396 PrCmT../15f02..

term root
b706a..