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

restrictionMap_id

Mathlib.Algebra.Homology.Embedding.Restriction

URI: https://scilib.ai/kg/mathlib#HomologicalComplex.restrictionMap_id

← MathLib Explorer