Proofgold Proposition

∀ x0 x1 x2 x3 . CSNo x0 ⟶ CSNo x1 ⟶ CSNo x2 ⟶ CSNo x3 ⟶ CSNo_pair x0 x1 = CSNo_pair x2 x3 ⟶ x1 = x3

type
prop

theory
HotG

name
CSNo_pair_prop_2

proof
PUgzA..

Megalodon
CSNo_pair_prop_2

proofgold address
TMaqJ..^{CSNo_pair_prop_2}

creator
28464 PrQUS../3a10d..

owner
28464 PrQUS../3a10d..

term root
225c4..