Proofgold Proposition

∀ x0 : ι → ο . wcel x0 ccau ⟶ wrex (λ x1 . wbr x0 (cv x1) chli) (λ x1 . chil)

type
prop

theory
SetMM

name
ax_hcompl

proof
PUVMh..

Megalodon
-

proofgold address
TMKpW..

creator
36384 PrCmT../8f158..

owner
36384 PrCmT../8f158..

term root
db782..