Proofgold Proposition

∀ x0 : ι → ο . wceq (ctpos x0) (ccom x0 (cmpt (λ x1 . cun (ccnv (cdm x0)) (csn c0)) (λ x1 . cuni (ccnv (csn (cv x1))))))

type
prop

theory
SetMM

name
df_tpos

proof
PUR6R..

Megalodon
-

proofgold address
TMH44..

creator
36396 PrCmT../fceb4..

owner
36396 PrCmT../fceb4..

term root
ff848..