Theorem Finset.analyticOn_fun_sum

Modification history

2026-05-19 21:21
Mathlib/Analysis/Analytic/Constructions.lean
chore: use `to_fun` to auto-generate more duplicate lemmas (#34279) …
Deleted Finset.analyticOn_fun_sumView on Github →
2025-05-04 05:31
Mathlib/Analysis/Analytic/Constructions.lean
feat: introduce factorized rational functions (#23913) …
Added Finset.analyticOn_fun_sumView on Github →