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

map_id_eq_isoClosure

Mathlib.CategoryTheory.MorphismProperty.Basic

URI: https://scilib.ai/kg/mathlib#CategoryTheory.MorphismProperty.map_id_eq_isoClosure

← MathLib Explorer