Def Divisor

Modification history

2025-03-25 19:36

Mathlib/Analysis/Meromorphic/Divisor/Basic.lean

feat: re-organize definition of divisors for meromorphic functions (#23302) …

Deleted Divisor View on Github →

2025-03-08 15:43

Mathlib/Analysis/Meromorphic/Divisor/Basic.lean

feat: introduce divisors on subsets of nontrivially normed fields (#22357) …

Added Divisor View on Github →