mathlib3
7ac07136 - refactor(power_series/basic): generalize order to semirings

Commit

4 years ago

refactor(power_series/basic): generalize order to semirings

References

alexjbest/power_series_noetherian

Author

pechersky

pechersky

Parents

Loading