Proofgold Proposition

∀ x0 . x0 ∈ real ⟶ ∀ x1 . x1 ∈ real ⟶ div_SNo x0 x1 ∈ real

type
prop

theory
HotG

name
real_div_SNo

proof
PUfrJ..

Megalodon
real_div_SNo

proofgold address
TMGk4..^real_div_SNo

creator
27869 PrQUS../e5b25..

owner
27869 PrQUS../e5b25..

term root
1b354..