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

id_f

Mathlib.CategoryTheory.Localization.Resolution

URI: https://scilib.ai/kg/mathlib#CategoryTheory.LocalizerMorphism.LeftResolution.id_f

← MathLib Explorer