[Merged by Bors] - refactor: change definition of restricted power series to align with restricted multivariate power series #257905
Triggered via pull request
July 23, 2026 04:36
riccardobrasca
riccardobrasca
created
#39583
Status
Success
Total duration
10s
Artifacts
–
bot_fix_style.yaml
on: pull_request_review_comment
Fix style issues from lint
7s