Proofgold Proposition

∀ x0 : ι → ο . wceq (cint x0) (cab (λ x1 . ∀ x2 . wcel (cv x2) x0 ⟶ wcel (cv x1) (cv x2)))

type
prop

theory
SetMM

name
df_int

proof
PUQyb..

Megalodon
-

proofgold address
TMafG..

creator
36397 PrCmT../a906d..

owner
36397 PrCmT../a906d..

term root
6b31f..