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

basicOpen_mul

Mathlib.AlgebraicGeometry.ProjectiveSpectrum.Basic

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Proj.basicOpen_mul

← MathLib Explorer