Theorem MeromorphicOn.fun_smul

Modification history

2025-12-22 21:59
Mathlib/Analysis/Meromorphic/Basic.lean
refactor: use "@[to_fun]" to generate some lemmas (#32830)
Deleted MeromorphicOn.fun_smulView on Github →
2025-05-09 10:19
Mathlib/Analysis/Meromorphic/Basic.lean
feat: products of meromorphic functions are meromorphic (#24699) …
Added MeromorphicOn.fun_smulView on Github →