Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2019-04-07 19:36
483a6c23
View on Github →
feat(data/list/min_max): add minimum (
#892
)
Estimated changes
Modified
src/data/list/min_max.lean
added
theorem
list.le_minimum_aux_of_mem
added
theorem
list.le_minimum_of_mem
added
theorem
list.le_of_foldl_min
added
theorem
list.le_of_foldr_min
added
theorem
list.mem_foldl_min
added
theorem
list.mem_foldr_min
added
theorem
list.mem_minimum
added
theorem
list.mem_minimum_aux
added
def
list.minimum
added
def
list.minimum_aux
added
def
list.minimum_aux_cons
added
def
list.minimum_cons
added
def
list.minimum_singleton