coprodSpec_inr — Mathlib · SciLib

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

coprodSpec_inr

Mathlib.AlgebraicGeometry.Limits

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.coprodSpec_inr

← MathLib Explorer