mathlib3
2fdc1510 - refactor(power_series/basic): generalize order to semirings (#11765)

Commit

4 years ago

refactor(power_series/basic): generalize order to semirings (#11765) There are still some TODOs about generalizing statements downstream of this file.

Author

pechersky

Parents

a32b0d37

mathlib3 2fdc1510 - refactor(power_series/basic): generalize order to semirings (#11765)

mathlib3
2fdc1510 - refactor(power_series/basic): generalize order to semirings (#11765)