Proofgold Proposition

∀ x0 : ι → ι . Pi_nat x0 0 = 1

type
prop

theory
HotG

name
Pi_nat_0

proof
PUPh4..

Megalodon
Pi_nat_0

proofgold address
TMPC5..^Pi_nat_0

creator
29757 PrQUS../65b86..

owner
29757 PrQUS../65b86..

term root
6af04..