Theorem Finset.max_union

Modification history

2024-11-03 08:14
Mathlib/Data/Finset/Max.lean
feat(Data/Finset/Max): max/min_union (#18545) …
Added Finset.max_unionView on Github →