instIsTopologicalSemiringAddOpposite

English

The product of two topological semirings, with the product topology, is a topological semiring.

Русский

Произведение двух топологических полукольц с произведением топологий является топологическим полукольцом.

LaTeX

$$IsTopologicalSemiring (R × S)$$

Lean4

instance [NonUnitalNonAssocSemiring R] [TopologicalSpace R] [IsTopologicalSemiring R] : IsTopologicalSemiring Rᵃᵒᵖ :=
  ⟨⟩

Похожие утверждения