compl_interior — Mathlib · SciLib

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

compl_interior

Mathlib.Geometry.Manifold.IsManifold.InteriorBoundary

URI: https://scilib.ai/kg/mathlib#ModelWithCorners.compl_interior

← MathLib Explorer