Commit 2025-05-20 13:01 923a83b2

View on Github →

feat(Matroid/Rank): finish ENat rank API (#24974) This small PR includes the last few lemmas in the API about ENat-valued matroid rank.

Estimated changes