Commit 2025-01-23 15:00 64624090

View on Github →

feat(Analysis/SpecialFunctions): generalise away from nat (#20986) Generalise the first four lemmas in this file to have an arbitrary indexing type rather than nat. Despite the diff looking strange, the only user-facing change here is that the lemmas are strictly more general.

Estimated changes