Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-26 07:37 740b41bd

View on Github →

feat(data/fintype/basic): add finset.(sup|inf)_univ_eq_(supr|infi) (#8397)

Estimated changes