Proofgold Proposition

∀ x0 x1 x2 x3 . KPair_alt7 x0 x1 = KPair_alt7 x2 x3 ⟶ and (x0 = x2) (x1 = x3)

type
prop

theory
HotG

name
-

proof
PUYSq..

Megalodon
-

proofgold address
TMHAf..

creator
4892 Pr6Pc../b5168..

owner
4892 Pr6Pc../b5168..

term root
8c1c4..