Proofgold Proposition

∀ x0 x1 . x1 ∈ Inj1 x0 ⟶ or (x1 = 0) (∀ x2 : ο . (∀ x3 . and (x3 ∈ x0) (x1 = Inj1 x3) ⟶ x2) ⟶ x2)

type
prop

theory
HotG

name
Inj1E

proof
PUMB7..

Megalodon
Inj1E

proofgold address
TMKgb..^Inj1E

creator
4898 Pr6Pc../f2f3d..

owner
4898 Pr6Pc../f2f3d..

term root
d4177..