Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Inj0_inj

proofgold address
TMdjS..^Inj0_inj

creator
1476 PrGxv../5252f..

owner
1476 PrGxv../5252f..

term root
e7875..