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