Theorem StrictMonoOn.map_finsetSort

Modification history

2025-05-25 21:04
Mathlib/Data/Finset/Sort.lean
feat: `Finset.sort` commutes with `Finset.map` (#25155) …
Added StrictMonoOn.map_finsetSortView on Github →