Theorem sum_Ioo_inv_sq_le

Modification history

2024-05-27 08:32
Mathlib/Analysis/PSeries.lean
chore: Use the new `∑ i ∈ s, f i` notation (#13209) …
Modified sum_Ioo_inv_sq_leView on Github →
2023-11-17 05:53
Mathlib/Analysis/PSeries.lean
chore: bump to v4.3.0-rc2 (#8366) …
Modified sum_Ioo_inv_sq_leView on Github →
2023-06-21 07:53
Mathlib/Analysis/PSeries.lean
feat: port NumberTheory.ZetaValues (#5300)
Modified sum_Ioo_inv_sq_leView on Github →
2023-05-25 19:41
Mathlib/Analysis/PSeries.lean
feat: port Analysis.PSeries (#4182) …
Added sum_Ioo_inv_sq_leView on Github →