Commit 2026-11-10 14:11 ebc12909
View on Github →feat(Data/{D,}Finsupp/WellFounded): weaken AddMonoid to Zero in WellFoundedLT instances (#45793)
feat(Data/{D,}Finsupp/WellFounded): weaken AddMonoid to Zero in WellFoundedLT instances (#45793)