Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-29 06:35 bc65b7cd

View on Github →

feat(data/list/basic): add list.range_map (#13777)

  • add list.range_map and list.range_map_coe;
  • add submonoid.closure_eq_image_prod and add_submonoid.closure_eq_image_prod.

Estimated changes

added theorem list.range_map
added theorem list.range_map_coe