max_eq_top — Mathlib · SciLib

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

max_eq_top

Mathlib.Data.Finset.Max

URI: https://scilib.ai/kg/mathlib#Finset.max_eq_top

← MathLib Explorer