Proofgold Proposition

∀ x0 . not (empty_p x0) ⟶ 707e2.. (4326e.. x0) = x0

type
prop

theory
HoTg

name
-

proof
PUanJ..

Megalodon
-

proofgold address
TMEmU..

creator
2190 PrGxv../5e2a7..

owner
2190 PrGxv../5e2a7..

term root
cfa38..