Theorem MeromorphicOn.negPart_divisor_add_le_add

Modification history

2025-12-03 08:00
Mathlib/Analysis/Meromorphic/Divisor.lean
feat: behavior of the counting function under addition (#32311) …
Added MeromorphicOn.negPart_divisor_add_le_addView on Github →