Proofgold Proposition

∀ x0 : ι → ι . a842e.. 4a7ef.. x0 = 4a7ef..

type
prop

theory
HoTg

name
-

proof
PUVF4..

Megalodon
-

proofgold address
TMMKg..

creator
4110 PrGxv../bdebe..

owner
4110 PrGxv../bdebe..

term root
a26d7..