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

fst_eq_snd_of_mono_eq

Mathlib.CategoryTheory.Limits.Shapes.Pullback.Mono

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

← MathLib Explorer