Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-08 15:56 fb74f984

View on Github →

chore(data/set/finite): set.finite.sup (#7080)

Estimated changes

Modified src/data/set/finite.lean

added theorem set.finite.inf_of_left

added theorem set.finite.inf_of_right

added theorem set.finite.sup