Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-23 23:08 ee5e9fb1

View on Github →

feat(data/indicator_function): eq_self_of_superset (#6829)

Estimated changes