l_sup — Mathlib · SciLib

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

l_sup

Mathlib.Order.GaloisConnection.Basic

URI: https://scilib.ai/kg/mathlib#GaloisConnection.l_sup

← MathLib Explorer