mathlib documentation

data.finsupp.default

Default finsupp file #

This file imports data.finsupp.basic