Proofgold Proposition

∀ x0 x1 . aa8d2.. 4a7ef.. x0 x1 ⟶ x1 = x0

type
prop

theory
HoTg

name
-

proof
PUUEj..

Megalodon
-

proofgold address
TMSxZ..

creator
2699 PrGxv../35c50..

owner
2699 PrGxv../35c50..

term root
6e6ce..