Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ratfunc.laurent_at_zero

Modification history

2022-02-03 04:21

src/field_theory/laurent.lean

feat(field_theory/laurent): Laurent expansions of rational functions (#11199) …

Added ratfunc.laurent_at_zero View on Github →