Proofgold Proposition

∀ x0 x1 . Inj0 x0 = Inj0 x1 ⟶ x0 = x1

type
prop

theory
HotG

name
Inj0_inj

proof
PUMB7..

Megalodon
Inj0_inj

proofgold address
TMV8x..^Inj0_inj

creator
4898 Pr6Pc../253a5..

owner
4898 Pr6Pc../253a5..

term root
662f5..