Theorem Finsupp.finite_of_degree_le

Modification history

2024-11-12 19:15
Mathlib/Data/Finsupp/Weight.lean
feat(MvPowerSeries.Order): order of multivariate power series (#14983)
Added Finsupp.finite_of_degree_leView on Github →