Theorem Finset.prod_Ico_int_div

Modification history

2026-01-28 16:26
Mathlib/Algebra/BigOperators/Group/Finset/Interval.lean
feat(NumberTheory/ModularForms/EisensteinSeries/E2/Transform): E2 under the action of SL2 (#32585) …
Added Finset.prod_Ico_int_divView on Github →