mathlib
fe3bf4b9 - Generalize `nat_degree_multiset_prod`
Commit
View On GitHub
Commit
4 years ago
Generalize `nat_degree_multiset_prod`
Author
Vierkantor Vierkantor
Parents
5b1008c0
FAQ Terms Privacy Refunds Impressum
Loading