mathlib
f2aa8ce4 - Change `surjective'` to `surjective`
Commit
View On GitHub
Commit
3 years ago
Change `surjective'` to `surjective`
Author
0art0 0art0
Parents
f7715cca
FAQ Terms Privacy Refunds Impressum
Loading