id_apply — Mathlib · SciLib

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

id_apply

Mathlib.Topology.Spectral.Hom

URI: https://scilib.ai/kg/mathlib#SpectralMap.id_apply

← MathLib Explorer