Commit 2025-09-01 12:03 eadf5cdc
View on Github →chore(Combinatorics): review porting notes (#28965) Go through all the porting notes in the Combinatorics folder and deal with those that have an obvious solution. Some are easy fixes, others we won't fix (such as being stricter about defeqs).