Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wceq (cotp x0 x1 x2) (cop (cop x0 x1) x2)

type
prop

theory
SetMM

name
df_ot

proof
PUQyb..

Megalodon
-

proofgold address
TMXNd..

creator
36397 PrCmT../d3ab3..

owner
36397 PrCmT../d3ab3..

term root
b8ffb..