Theorem Finsupp.finite_of_nat_weight_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_nat_weight_le View on Github →