Commit 2025-04-07 15:42 e37082f6
View on Github →refactor(Interval/Finset/Fin): use Finset.attachFin
(#23738)
This way we don't need to test i < n
for each i
in an interval during evaluation.
refactor(Interval/Finset/Fin): use Finset.attachFin
(#23738)
This way we don't need to test i < n
for each i
in an interval during evaluation.