Mathlib Changelog
v4
Changelog
About
Github
Def
List.Shortlex
Modification history
2025-03-17 17:38
Mathlib/Data/List/Shortlex.lean
feat: shortlex order on lists (#20310) …
Added
List.Shortlex
View on Github →