Proofgold Proposition

∀ x0 . ba9d8.. x0 ⟶ prim3 (4ae4a.. x0) = x0

type
prop

theory
HoTg

name
-

proof
PUKrN..

Megalodon
-

proofgold address
TMN1v..

creator
2749 PrGxv../95ec9..

owner
2749 PrGxv../95ec9..

term root
dbe42..