Theorem Finsupp.degree_apply

Modification history

2025-11-28 14:12
Mathlib/Data/Finsupp/Weight.lean
chore(Data/Finsupp): Rename degree_def (#32179)
Added Finsupp.degree_applyView on Github →