Proofgold Proposition

∀ x0 x1 . 0aea9.. x0 x1 ⟶ 0aea9.. x1 x0

type
prop

theory
HotG

name
-

proof
PUVxk..

Megalodon
-

proofgold address
TMTeo..

creator
31381 Pr4zB../1b81a..

owner
31381 Pr4zB../1b81a..

term root
96a32..