Commit 2023-01-17 08:36 f768b2c7

View on Github →

fix: Data.Finset.Basic Change statement of two simp lemmas so they can be used with rw (#1615)

Estimated changes

modified theorem Finset.inf_eq_inter
modified theorem Finset.sup_eq_union