adaptDown — Mathlib · SciLib

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

adaptDown

Mathlib.Control.ULiftable

URI: https://scilib.ai/kg/mathlib#ULiftable.adaptDown

← MathLib Explorer