Proofgold Proposition

wceq cigam (cmpt (λ x0 . cc) (λ x0 . cif (wcel (cv x0) (cdif cz cn)) cc0 (co c1 (cfv (cv x0) cgam) cdiv)))

type
prop

theory
SetMM

name
df_igam

proof
PUMn8..

Megalodon
-

proofgold address
TMUZi..

creator
36377 PrCmT../ad85b..

owner
36377 PrCmT../ad85b..

term root
22d98..