Proofgold Proposition

∀ x0 . empty_p x0 ⟶ ∀ x1 . 4326e.. x0 x1 ⟶ x1 = 4a7ef..

type
prop

theory
HoTg

name
-

proof
PUanJ..

Megalodon
-

proofgold address
TMHyL..

creator
2190 PrGxv../a61d8..

owner
2190 PrGxv../a61d8..

term root
6b2a2..