map_id — Mathlib · SciLib

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

map_id

Mathlib.Algebra.Star.Unitary

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

← MathLib Explorer