mathlib3
241ee9ee - feat(data/finsupp): more lemmas about `α →₀ ℕ` (#9137)

Commit

4 years ago

feat(data/finsupp): more lemmas about `α →₀ ℕ` (#9137)

Author

urkud

urkud

Parents

Loading