Proofgold Proposition

∀ x0 x1 . Sing x0 = Sing x1 ⟶ x0 = x1

type
prop

theory
HotG

name
Sing_inj

proof
PUhtR..

Megalodon
Sing_inj

proofgold address
TMKaq..^Sing_inj

creator
28142 PrQUS../05628..

owner
28142 PrQUS../05628..

term root
dea1a..