Theorem Finset.sup'_mono_fun

Modification history

2024-11-25 17:02
Mathlib/Data/Finset/Lattice/Fold.lean
feat: `Finset.sup` in a group (#19460)
Added Finset.sup'_mono_funView on Github →