Commit 2023-04-18 03:37 6c208941

View on Github →

chore: forward port 18648 (#3489)

Estimated changes

added theorem Finset.inf'_le_of_le
added theorem Finset.inf_le_of_le
added theorem Finset.le_sup'_of_le
added theorem Finset.le_sup_of_le