Theorem Finset.inter_sdiff

Modification history

2024-05-01 23:24

Mathlib/Data/Finset/Basic.lean

chore: Rename `Finset.inter_sdiff` to `Finset.inter_sdiff_assoc` (#12573) …

Modified Finset.inter_sdiff View on Github →

2023-01-16 08:13

Mathlib/Data/Finset/Basic.lean

feat: port Data.Finset.Basic (#1555)

Added Finset.inter_sdiff View on Github →