Proofgold Proposition

∀ x0 x1 . 0ac37.. x0 x1 = 0ac37.. x1 x0

type
prop

theory
HoTg

name
-

proof
PUfss..

Megalodon
-

proofgold address
TMVhb..

creator
2718 PrGxv../c5f1a..

owner
2718 PrGxv../c5f1a..

term root
26d41..