Proofgold Proposition

type
prop

theory
HotG

name
sqrt_SNo_nonneg_0

proof
PUS8F..

Megalodon
sqrt_SNo_nonneg_0

proofgold address
TMPHj..^{sqrt_SNo_nonneg_0}

creator
27870 PrQUS../204b2..

owner
27870 PrQUS../204b2..

term root
0afb2..