Theorem meromorphicOrderAt_const_smul_eq_meromorphicOrderAt

Modification history

2026-09-01 23:57
Mathlib/Analysis/Meromorphic/Order.lean
feat: Invariance of meromorphicity under scaling (#41303) …
Added meromorphicOrderAt_const_smul_eq_meromorphicOrderAtView on Github →