mathlib
efc8aa69 - add finset_sum_divisors_iff' lemma
Commit
View On GitHub
Commit
2 years ago
add finset_sum_divisors_iff' lemma
Author
nielsvoss nielsvoss
Committer
nielsvoss nielsvoss
Parents
680b65be
FAQ Terms Privacy Refunds Impressum
Loading