Proofgold Proposition

∀ x0 x1 x2 x3 . KPair_alt7 x0 x1 = KPair_alt7 x2 x3 ⟶ x1 = x3

type
prop

theory
HotG

name
-

proof
PUYSq..

Megalodon
-

proofgold address
TMJAg..

creator
4892 Pr6Pc../cc06b..

owner
4892 Pr6Pc../cc06b..

term root
76c22..