Commit 2025-09-06 21:16 1e9156a3
View on Github →feat: finsupps with disjoint support commute (#28761) We use this to golf our "backwards addition" induction principles.
feat: finsupps with disjoint support commute (#28761) We use this to golf our "backwards addition" induction principles.