Commit 2025-04-23 16:32 2156fa08
View on Github →feat(Data/List/Sort): ext lemma for strictly sorted lists (#24023) Add a theorem stating that two strictly sorted lists are equal if they have the same set of elements.
feat(Data/List/Sort): ext lemma for strictly sorted lists (#24023) Add a theorem stating that two strictly sorted lists are equal if they have the same set of elements.