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.