Commit 2023-06-07 02:07 3b23c3a7

View on Github →

feat: add missing lemma Fintype.bddBelow_range (#4739)

Estimated changes

added theorem Fintype.bddBelow_range
added theorem Fintype.exists_ge