Proofgold Proposition

wceq ciso (cmpt (λ x0 . ccat) (λ x0 . ccom (cmpt (λ x1 . cvv) (λ x1 . cdm (cv x1))) (cfv (cv x0) cinv)))

type
prop

theory
SetMM

name
df_iso

proof
PUZP5..

Megalodon
-

proofgold address
TMXAd..

creator
36347 PrCmT../2f26e..

owner
36347 PrCmT../2f26e..

term root
c75c1..