Proofgold Proposition

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

type
prop

theory
SetMM

name
df_tp

proof
PUJyx..

Megalodon
-

proofgold address
TMP59..

creator
36396 PrCmT../fb8c9..

owner
36396 PrCmT../fb8c9..

term root
64bb5..