Theorem PowerSeries.order_eq_top
Modification history
2024-04-04 22:42
Mathlib/RingTheory/PowerSeries/Order.lean
chore: tidy various files (#11624)
Modified PowerSeries.order_eq_topView on Github →2024-02-29 12:38
Mathlib/RingTheory/PowerSeries/Basic.lean
split power series in several files (#10866) …
Modified PowerSeries.order_eq_topView on Github →