Proofgold Proposition

wceq cfrgp (cmpt (λ x0 . cvv) (λ x0 . co (cfv (cxp (cv x0) c2o) cfrmd) (cfv (cv x0) cefg) cqus))

type
prop

theory
SetMM

name
df_frgp

proof
PUJoj..

Megalodon
-

proofgold address
TMYih..

creator
36388 PrCmT../325ce..

owner
36388 PrCmT../325ce..

term root
8b0c2..