Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-01-08 23:13
30667e28
View on Github →
chore(Data/List/Sort): names of assumptions not like names of data (
#9324
)
Estimated changes
Modified
Mathlib/Data/List/Sort.lean
modified
theorem
List.eq_of_perm_of_sorted
modified
theorem
List.sublist_of_subperm_of_sorted