Theorem Function.locallyFinsuppWithin.eq_zero_codiscreteWithin

Modification history

2025-05-13 09:36
Mathlib/Data/LocallyFinsupp.lean
feat: eliminate zeros and poles in meromorphic functions (#24587) …
Added Function.locallyFinsuppWithin.eq_zero_codiscreteWithinView on Github →