Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ x0 ⟶ ∀ x3 : ι → ι . inj x0 x1 x3 ⟶ inj (setminus x0 (Sing x2)) (setminus x1 (Sing (x3 x2))) x3

type
prop

theory
HotG

name
-

proof
PUac6..

Megalodon
-

proofgold address
TMXA8..

creator
22005 Pr4zB../2f662..

owner
22005 Pr4zB../2f662..

term root
085eb..