Theorem Set.eq_of_forall_subset_iff

Modification history

2023-12-29 06:46
Mathlib/Data/Set/Basic.lean
refactor(*): change definition of `Set.image2` etc (#9275) …
Added Set.eq_of_forall_subset_iffView on Github →