Proofgold Proposition

∀ x0 x1 x2 x3 . HSNo x0 ⟶ HSNo x2 ⟶ HSNo_pair x0 x1 = HSNo_pair x2 x3 ⟶ x0 = x2

type
prop

theory
HotG

name
HSNo_pair_prop_1

proof
PUdK2..

Megalodon
HSNo_pair_prop_1

proofgold address
TMH7X..^{HSNo_pair_prop_1}

creator
28513 PrQUS../3044a..

owner
28513 PrQUS../3044a..

term root
99dd5..