Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-20 01:44 d483bc2c

View on Github →

chore(data/indicator_function): add a formula for the support of indicator (#6314)

  • rename set.support_indicator to set.support_indicator_subset;
  • add a new set.support_indicator;
  • add function.support_comp_eq_preimage.

Estimated changes

modified theorem set.support_indicator