Proofgold Proposition

wceq cpi1 (cmpt2 (λ x0 x1 . ctop) (λ x0 x1 . cuni (cv x0)) (λ x0 x1 . co (co (cv x0) (cv x1) comi) (cfv (cv x0) cphtpc) cqus))

type
prop

theory
SetMM

name
df_pi1

proof
PUQGM..

Megalodon
-

proofgold address
TMFuh..

creator
36385 PrCmT../45f21..

owner
36385 PrCmT../45f21..

term root
32714..