Def Finset.sort

Modification history

2025-10-22 00:08

Mathlib/Data/Finset/Sort.lean

feat(Data/{Finset,Multiset}/Sort): give sort functions ≤ default argument (#27864) …

Modified Finset.sort View on Github →

2023-01-19 14:33

Mathlib/Data/Finset/Sort.lean

feat: port Data.Finset.Sort (#1675)

Added Finset.sort View on Github →