Skip to content

refactor: change definition of restricted power series to align with restricted multivariate power series#39583

Open
WilliamCoram wants to merge 6 commits into
leanprover-community:masterfrom
WilliamCoram:RestrictedPS
Open

refactor: change definition of restricted power series to align with restricted multivariate power series#39583
WilliamCoram wants to merge 6 commits into
leanprover-community:masterfrom
WilliamCoram:RestrictedPS