Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-06-28 15:11 4a5a1a58

View on Github →

fix(data/list/min_max): correct names of mem_maximum and mem_minimum (#1162)

  • fix(data/list/min_max): correct names of mem_maximum and mem_minimum
  • Update denumerable.lean

Estimated changes

added theorem list.maximum_mem
deleted theorem list.mem_maximum
deleted theorem list.mem_minimum
added theorem list.minimum_mem