Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-10-18 18:51 8c9b0057

View on Github →

fix(data/set/basic): Fix set.lt_iff_ssubset. (#17047)

Estimated changes

Modified src/data/set/basic.lean

modified theorem set.lt_iff_ssubset