mathlib3
refactor(data/finsupp): add decidable arguments everywhere
#18274

Open

Commits

Add decidable arguments to finsupp

eric-wieser committed 3 years ago
fix

eric-wieser committed 3 years ago
finish with the finsupp directory

eric-wieser committed 3 years ago
linear algebra

eric-wieser committed 3 years ago
wi[

eric-wieser committed 3 years ago

Loading