Commit 2025-04-08 09:40 3e968a5f

View on Github →

chore(Interval/Fin): change RHS of 2 lemmas (#23792) IMHO, I*o _ n is more natural than I*c _ (n - 1) in this context.

Estimated changes