Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-12-29 13:25
de084eb0
View on Github →
chore(Data/List/MinMax): fix lemma names (
#20318
)
Estimated changes
Modified
Mathlib/Data/List/MinMax.lean
modified
theorem
List.le_minimum_of_forall_le
modified
theorem
List.minimum_le_coe_iff
deleted
theorem
List.minimum_not_lt_of_mem
deleted
theorem
List.not_lt_maximum_of_mem'
deleted
theorem
List.not_lt_maximum_of_mem
modified
theorem
List.not_lt_minimum_of_mem'
added
theorem
List.not_lt_minimum_of_mem
added
theorem
List.not_maximum_lt_of_mem'
added
theorem
List.not_maximum_lt_of_mem
Modified
scripts/nolints_prime_decls.txt