isLeast_l — Mathlib · SciLib

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

isLeast_l

Mathlib.Order.GaloisConnection.Basic

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

← MathLib Explorer