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

hasPullback_of_right

Mathlib.AlgebraicGeometry.OpenImmersion

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.IsOpenImmersion.hasPullback_of_right

← MathLib Explorer