residual_of_dense_open — Mathlib · SciLib

∫ Утверждение Mathlib

residual_of_dense_open

Mathlib.Topology.GDelta.Basic

URI: https://scilib.ai/kg/mathlib#residual_of_dense_open

← MathLib Explorer