Proofgold Proposition

∀ x0 . wbr (cv x0) com cen ⟶ wex (λ x1 . wral (λ x2 . wne (cv x2) c0 ⟶ wcel (cfv (cv x2) (cv x1)) (cv x2)) (λ x2 . cv x0))

type
prop

theory
SetMM

name
ax_cc

proof
PUYnQ..

Megalodon
-

proofgold address
TMFBd..

creator
36397 PrCmT../37e94..

owner
36397 PrCmT../37e94..

term root
9ce8c..