representableBy — Mathlib · SciLib

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

representableBy

Mathlib.AlgebraicGeometry.Sites.Representability

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.LocalRepresentability.representableBy

← MathLib Explorer