Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.eq_on_union

Modification history

2022-10-15 19:03

src/data/set/function.lean

feat(data/set/function): add `set.eq_on_union` (#16984) …

Added set.eq_on_union View on Github →