Commit 2026-06-29 09:26 8fe98ac2
View on Github →feat: define multivariate restricted power series (#32692) We define multivariate restricted power series over a normed ring R, and show the properties that they form a ring when R has the ultrametric property. This work generalises my previous work in #26089 which will need to be refactored.