Theorem Finset.sup_add_sup

Modification history

2024-11-25 17:02
Mathlib/Algebra/Order/Group/Finset.lean
feat: `Finset.sup` in a group (#19460)
Added Finset.sup_add_supView on Github →