Proofgold Proposition

wceq cinvr (cmpt (λ x0 . cvv) (λ x0 . cfv (co (cfv (cv x0) cmgp) (cfv (cv x0) cui) cress) cminusg))

type
prop

theory
SetMM

name
df_invr

proof
PUhPT..

Megalodon
-

proofgold address
TMNu5..

creator
36376 PrCmT../fb002..

owner
36376 PrCmT../fb002..

term root
d900d..