Theorem Finset.max'_union

Modification history

2024-11-04 17:01
Mathlib/Data/Finset/Max.lean
feat(Data/Finset/Max): max'/min' union (#18601) …
Added Finset.max'_unionView on Github →