Proofgold Proposition

∀ x0 x1 . not (Inj0 x0 = Inj1 x1)

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Inj0_Inj1_neq

proofgold address
TMQDE..^{Inj0_Inj1_neq}

creator
1476 PrGxv../351e3..

owner
1476 PrGxv../351e3..

term root
2909a..