mathlib3
fa1aa2b0 - Replace `<-` with `←`
Commit
View On GitHub
Commit
4 years ago
Replace `<-` with `←`
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
89f71eb6
FAQ Terms Privacy Refunds Impressum
Loading