mathlib
6b3be16b - WIP: Fix usages of `equiv_fin`
Commit
View On GitHub
Commit
4 years ago
WIP: Fix usages of `equiv_fin`
Author
Vierkantor Vierkantor
Parents
2287b1c9
FAQ Terms Privacy Refunds Impressum
Loading