Proofgold Proposition

wceq cprmo (cmpt (λ x0 . cn0) (λ x0 . cprod (λ x1 . co c1 (cv x0) cfz) (λ x1 . cif (wcel (cv x1) cprime) (cv x1) c1)))

type
prop

theory
SetMM

name
df_prmo

proof
PUfy1..

Megalodon
-

proofgold address
TMdYU..

creator
36387 PrCmT../a6ada..

owner
36387 PrCmT../a6ada..

term root
9f963..