mathlib3
9a7151c7 - feat(data/finsupp): set.finite {m | m ≤ n} (#3029)
Commit
View On GitHub
Commit
5 years ago
feat(data/finsupp): set.finite {m | m ≤ n} (#3029)
Author
jcommelin jcommelin
Parents
666b9e59
FAQ Terms Privacy Refunds Impressum
Loading