Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-24 11:42 32b32ad9

View on Github →

docs(data/set/basic): add module docstring (#1991)

  • adding module docstring
  • tidying up
  • markdown fixes
  • more md tidying
  • remove some unnecessary {alpha : Type*}
  • responding to comments
  • responding to comments

Estimated changes

modified theorem set.compl_image_set_of
modified theorem set.empty_diff
modified theorem set.exists_of_ssubset
modified theorem set.mem_image
modified theorem set.mem_of_eq_of_mem
modified theorem set.mem_of_mem_of_subset
modified theorem set.sep_set_of
modified theorem set.set_of_subset_set_of
modified theorem set.univ_eq_empty_iff