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

iso_hom

Mathlib.CategoryTheory.Limits.Preserves.Shapes.Pullbacks

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.PreservesPullback.iso_hom

← MathLib Explorer