Proofgold Proposition

wceq crglmod (cmpt (λ x0 . cvv) (λ x0 . cfv (cfv (cv x0) cbs) (cfv (cv x0) csra)))

type
prop

theory
SetMM

name
df_rgmod

proof
PUN9o..

Megalodon
-

proofgold address
TMRtz..

creator
36376 PrCmT../000ac..

owner
36376 PrCmT../000ac..

term root
9aee7..