Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι . inj x0 x1 x2 ⟶ ∀ x3 : ο . ((∀ x4 . In x4 x0 ⟶ In (x2 x4) x1) ⟶ (∀ x4 . In x4 x0 ⟶ ∀ x5 . In x5 x0 ⟶ x2 x4 = x2 x5 ⟶ x4 = x5) ⟶ x3) ⟶ x3

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
injE_impred

proofgold address
TMWpz..^injE_impred

creator
1627 PrGxv../e4280..

owner
1627 PrGxv../e4280..

term root
6a8f9..