Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.diff_diff_right_self

Modification history

2022-02-21 11:38

src/data/set/basic.lean

chore(data/set/basic): add a few lemmas and a `@[simp]` attribute (#12176) …

Added set.diff_diff_right_self View on Github →