Theorem Set.Infinite.inter_of_finite_diff

Modification history

2026-06-09 08:51
Mathlib/Data/Set/Finite/Basic.lean
chore: rename `diff` to `sdiff` (#40184) …
Deleted Set.Infinite.inter_of_finite_diffView on Github →
2026-03-27 17:46
Mathlib/Data/Set/Finite/Basic.lean
feat(Topology/Compactness): add countably compact sets (#36174) …
Added Set.Infinite.inter_of_finite_diffView on Github →