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

isIso_snd_of_mono_of_isLimit

Mathlib.CategoryTheory.Limits.Shapes.Pullback.Mono

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.PullbackCone.isIso_snd_of_mono_of_isLimit

← MathLib Explorer