Proofgold Proposition

∀ x0 x1 . Inj1 x0 = Inj1 x1 ⟶ x0 = x1

type
prop

theory
HotG

name
Inj1_inj

proof
PUMB7..

Megalodon
Inj1_inj

proofgold address
TMaXP..^Inj1_inj

creator
4898 Pr6Pc../f22f7..

owner
4898 Pr6Pc../f22f7..

term root
ce8b6..