Proofgold Proposition

∀ x0 x1 . x1 ∈ Inj1 x0 ⟶ or (x1 = 0) (∃ x2 . and (x2 ∈ x0) (x1 = Inj1 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..