Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-19 06:24 33544763

View on Github →

feat(data/indicator_function): more lemmas (#3424) Add some lemmas of use when using set.indicator to manipulate functions involved in summations.

Estimated changes