∫ Утверждение Mathlib
jointlySurjectiveTopology_eq_toGrothendieck_jointlySurjectivePretopology
Mathlib.AlgebraicGeometry.Sites.Pretopology
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.jointlySurjectiveTopology_eq_toGrothendieck_jointlySurjectivePretopology