Proofgold Proposition

type
prop

theory
HotG

name
sqrt_SNo_nonneg_1

proof
PUS8F..

Megalodon
sqrt_SNo_nonneg_1

proofgold address
TMRRy..^{sqrt_SNo_nonneg_1}

creator
27870 PrQUS../82f8c..

owner
27870 PrQUS../82f8c..

term root
1801e..