Commit 2024-01-09 08:14 54b67abb

View on Github →

chore: Fix statement of Finset.cast_card_sdiff (#9563) The two types were accidentally the same.

Estimated changes

modified theorem Finset.cast_card_sdiff