Theorem Finset.max'_eq_iff

Modification history

2025-07-15 16:28
Mathlib/Data/Finset/Max.lean
feat: Finset.max'_eq_iff (#27153) …
Added Finset.max'_eq_iffView on Github →