Proofgold Proposition

∀ x0 . f4b0e.. x0 0 0 0 = x0

type
prop

theory
HotG

name
-

proof
PUhtR..

Megalodon
-

proofgold address
TMcxM..

creator
28142 PrQUS../22545..

owner
28142 PrQUS../22545..

term root
37eff..