Proofgold Proposition

∀ x0 . x0 ∈ real ⟶ ∀ x1 . x1 ∈ real ⟶ mul_SNo x0 x1 ∈ real

type
prop

theory
HotG

name
real_mul_SNo

proof
PUaqn..

Megalodon
real_mul_SNo

proofgold address
TMVmK..^real_mul_SNo

creator
12463 PrGxv../bb3a1..

owner
12463 PrGxv../bb3a1..

term root
b48f8..