Commit 2024-05-21 11:42 ab879235
View on Github →feat(RingTheory/PowerSeries/Inverse): add two lemmas on the normalization of (X : PowerSeries k) (#13063)
Add two lemmas about the element X as term of the normalization monoid $k[[X]]$ for a field k.