Proofgold Proposition

wceq cepi (cmpt (λ x0 . ccat) (λ x0 . ctpos (cfv (cfv (cv x0) coppc) cmon)))

type
prop

theory
SetMM

name
df_epi

proof
PULKN..

Megalodon
-

proofgold address
TMdCN..

creator
36388 PrCmT../a468a..

owner
36388 PrCmT../a468a..

term root
8939b..