Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . not (inj (prim4 x0) x0 x1)

type
prop

theory
HotG

name
form100_63_Cantor

proof
PUJqS..

Megalodon
form100_63_injCantor

proofgold address
TMZod..^{form100_63_injCantor}

creator
11866 PrEBh../4b664..

owner
11866 PrEBh../4b664..

term root
4f3dc..