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

hasPullback_of_left

Mathlib.AlgebraicGeometry.OpenImmersion

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

← MathLib Explorer