Proofgold Proposition

∀ x0 . 1eb0a.. x0 ⟶ SNo (b8e07.. x0)

type
prop

theory
HotG

name
-

proof
PUWiW..

Megalodon
-

proofgold address
TMNEX..

creator
28269 PrQUS../7f7eb..

owner
28269 PrQUS../7f7eb..

term root
690aa..