Proofgold Proposition

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

type
prop

theory
SetMM

name
df_altop

proof
PUKaw..

Megalodon
-

proofgold address
TMKd6..

creator
36383 PrCmT../98595..

owner
36383 PrCmT../98595..

term root
7812e..