map_comp — Mathlib · SciLib

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

map_comp

Mathlib.Algebra.Star.Unitary

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

← MathLib Explorer