∫ Утверждение Mathlib
isUnit_res_basicOpen
Mathlib.Geometry.RingedSpace.Basic
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.RingedSpace.isUnit_res_basicOpen
∫ Утверждение Mathlib
Mathlib.Geometry.RingedSpace.Basic
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.RingedSpace.isUnit_res_basicOpen