Proofgold Proposition

wceq com (crab (λ x0 . ∀ x1 . wlim (cv x1) ⟶ wcel (cv x0) (cv x1)) (λ x0 . con0))

type
prop

theory
SetMM

name
df_om

proof
PUWab..

Megalodon
-

proofgold address
TMR6a..

creator
36397 PrCmT../8970c..

owner
36397 PrCmT../8970c..

term root
90706..