Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-12 06:54 e68fcf8d

View on Github →

move(data/bool/*): Move bool files in one folder (#10718)

  • renames data.bool to data.bool.basic
  • renames data.set.bool to data.bool.set
  • splits data.bool.all_any off data.list.basic

Estimated changes

added theorem list.all_cons
added theorem list.all_iff_forall
added theorem list.all_nil
added theorem list.any_cons
added theorem list.any_iff_exists
added theorem list.any_nil
added theorem list.any_of_mem
modified theorem bool.not_ff
deleted theorem list.all_cons
deleted theorem list.all_iff_forall
deleted theorem list.all_iff_forall_prop
deleted theorem list.all_nil
deleted theorem list.any_cons
deleted theorem list.any_iff_exists
deleted theorem list.any_iff_exists_prop
deleted theorem list.any_nil
deleted theorem list.any_of_mem