mathlib3
de10f35d - added some fintype instances
Commit
View On GitHub
Commit
5 years ago
added some fintype instances
Author
kmill kmill
Committer
kmill kmill
Parents
f82572d6
FAQ Terms Privacy Refunds Impressum
Loading