mathlib
af1290cb - feat(field_theory/ratfunc): rational functions as Laurent series (#11276)

Commit

3 years ago

feat(field_theory/ratfunc): rational functions as Laurent series (#11276)

Author

pechersky

pechersky

Parents

Loading