Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Inj1_inj

proofgold address
TMKtD..^Inj1_inj

creator
1476 PrGxv../2ff5a..

owner
1476 PrGxv../2ff5a..

term root
da820..