Commit 2024-07-30 00:05 190a3318

View on Github →

chore(Combinatorics/HalesJewett): replace Fintype -> Finite (#15279) Found by the linter in #10235.

Estimated changes