map_id — Mathlib · SciLib

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

map_id

Mathlib.Topology.LocallyConstant.Basic

URI: https://scilib.ai/kg/mathlib#LocallyConstant.map_id

← MathLib Explorer