Proofgold Proposition

∀ x0 : ι → ι . 05ecb.. x0 0 = 1

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
Pi_SNo_0

proofgold address
TMJZt..^Pi_SNo_0

creator
30111 PrQUS../a58d8..

owner
30111 PrQUS../a58d8..

term root
89e73..