Commit 2026-05-10 01:42 76ee00a5

View on Github →

feat(Data/Finsupp/Weight): add Finsupp.degree_mapDomain (#38656) Generalize a result by removing an unnecessary hypothesis. Also simplifies the proof.

Estimated changes